From 65c10d874d088668eac1a629828d8ad83c4c6839 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Adrian=20Schr=C3=B6ter?= <adrian@suse.de>
Date: Fri, 16 Jun 2023 15:44:51 +0200
Subject: [PATCH] update to current state

---
 .gitmodules | 3 +++
 ghc         | 1 +
 2 files changed, 4 insertions(+)
 create mode 160000 ghc

diff --git a/.gitmodules b/.gitmodules
index b10df74..ec1ae71 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -7453,3 +7453,6 @@
 [submodule "wtmpdb"]
 	path = wtmpdb
 	url = ../../pool/wtmpdb
+[submodule "ghc"]
+	path = ghc
+	url = ../../pool/ghc
diff --git a/ghc b/ghc
new file mode 160000
index 0000000..670fdc6
--- /dev/null
+++ b/ghc
@@ -0,0 +1 @@
+Subproject commit 670fdc6dc5f31d63bc840be9b4f6a117c5124f87