update to current state

This commit is contained in:
Adrian Schröter 2023-07-28 13:45:24 +02:00
parent 68a5447060
commit 384ba6a23b
2 changed files with 2 additions and 2 deletions

2
.gitmodules vendored
View File

@ -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

2
wtmpdb

@ -1 +1 @@
Subproject commit ed17d9c2c6648945178937bb5785736ecfa2001d
Subproject commit 5fbe9a1b2784a90667daedac61051503aef49ed7