From a7afcc4de9b8abe5a4c73a42d6a3a0a2f5e834b1 Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Sat, 17 Feb 2024 13:13:00 +0100
Subject: [PATCH] chore: Remove accidentally committed submodule

This was accidentally added in b22bb74.
---
 update-ghc | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 update-ghc

diff --git a/update-ghc b/update-ghc
deleted file mode 160000
index e2b67233f..000000000
--- a/update-ghc
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit e2b67233f76e45269e3da41f59caaf7ab8fd75b0