From aafc93b138d0cb5d2e632b33012163ab822f7cef Mon Sep 17 00:00:00 2001
From: org-agenda-api <org-agenda-api@localhost>
Date: Mon, 2 Mar 2026 21:23:46 -0800
Subject: [PATCH] nixos: remove stale synergy patch override

---
 nixos/overlay.nix | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/nixos/overlay.nix b/nixos/overlay.nix
index 36d93696..ffd8618a 100644
--- a/nixos/overlay.nix
+++ b/nixos/overlay.nix
@@ -132,10 +132,6 @@ in
     meta = prev.runc.meta // {};
   };
 
-  synergy = prev.synergy.overrideAttrs (old: {
-    patches = (old.patches or []) ++ [ ./synergy-cstdint.patch ];
-  });
-
   rofi-systemd = prev.rofi-systemd.overrideAttrs (_: {
     src = prev.fetchFromGitHub {
       repo = "rofi-systemd";