From de0ec2365a13b527c7f099d555f71e78af09d9e2 Mon Sep 17 00:00:00 2001
From: Jaculabilis <root@empyrean>
Date: Mon, 24 Jan 2022 03:58:27 +0000
Subject: [PATCH] Re-enable redstring with updated, working mypy version

---
 configuration.nix | 2 +-
 redstring.nix     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/configuration.nix b/configuration.nix
index 7207475..afd0e9e 100644
--- a/configuration.nix
+++ b/configuration.nix
@@ -9,7 +9,7 @@
     [ # Include the results of the hardware scan.
       ./hardware-configuration.nix
       ./amanuensis.nix
-      #./redstring.nix
+      ./redstring.nix
       ./catacomb.nix
       ./gitea.nix
     ];
diff --git a/redstring.nix b/redstring.nix
index 15ae0a0..5af765d 100644
--- a/redstring.nix
+++ b/redstring.nix
@@ -6,7 +6,7 @@ let
   redstringSource = builtins.fetchGit {
     url = "https://git.alogoulogoi.com/Jaculabilis/redstring.git";
     ref = "master";
-    rev = "c49d21f6938322da2cd89b9f39bb285161d35272";
+    rev = "91dd353ad1d48118452a949b15e100b3035bf297";
   };
   redstring = pkgs.callPackage redstringSource {};