From 384ba6a23b220368017b86b2c279a4ecd1413520 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrian=20Schr=C3=B6ter?= Date: Fri, 28 Jul 2023 13:45:24 +0200 Subject: [PATCH] update to current state --- .gitmodules | 2 +- wtmpdb | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitmodules b/.gitmodules index 931713c..c15d072 100644 --- a/.gitmodules +++ b/.gitmodules @@ -7446,7 +7446,7 @@ url = ../../ALP-pool/patterns-alp-containers [submodule "wtmpdb"] path = wtmpdb - url = ../../pool/wtmpdb + url = ../../ALP-pool/wtmpdb [submodule "ghc"] path = ghc url = ../../pool/ghc diff --git a/wtmpdb b/wtmpdb index ed17d9c..5fbe9a1 160000 --- a/wtmpdb +++ b/wtmpdb @@ -1 +1 @@ -Subproject commit ed17d9c2c6648945178937bb5785736ecfa2001d +Subproject commit 5fbe9a1b2784a90667daedac61051503aef49ed7