Add mu 1.8.8 patch

patches/185525.patch

@@ -0,0 +1,30 @@
+From f1ad47f4d8a281edb1fbd258d82fb1d11a3021a1 Mon Sep 17 00:00:00 2001
+From: Charlotte Van Petegem <charlotte@vanpetegem.me>
+Date: Sun, 7 Aug 2022 11:28:25 +0200
+Subject: [PATCH] mu: 1.8.7 -> 1.8.8
+
+https://github.com/djcb/mu/releases/tag/v1.8.8
+---
+ pkgs/tools/networking/mu/default.nix | 4 ++--
+ 1 file changed, 2 insertions(+), 2 deletions(-)
+
+diff --git a/pkgs/tools/networking/mu/default.nix b/pkgs/tools/networking/mu/default.nix
+index 510c3a69185d9..bbaa588545f67 100644
+--- a/pkgs/tools/networking/mu/default.nix
++++ b/pkgs/tools/networking/mu/default.nix
+@@ -14,13 +14,13 @@
+ 
+ stdenv.mkDerivation rec {
+   pname = "mu";
+-  version = "1.8.7";
++  version = "1.8.8";
+ 
+   src = fetchFromGitHub {
+     owner = "djcb";
+     repo = "mu";
+     rev = "v${version}";
+-    sha256 = "/RGq/q0N623RR4HuAmyfFx1/OYZBrmK1ddhiT4bgy3k=";
++    hash = "sha256-kgskeQM6zESkjDWmgGqhZlGnH8naZ5k0sw+70ZzW2/E=";
+   };
+ 
+   postPatch = ''