]> git.joonet.de Git - adminer.git/commitdiff
Update PhpShrink
authorJakub Vrana <jakub@vrana.cz>
Mon, 31 Mar 2025 08:23:03 +0000 (10:23 +0200)
committerJakub Vrana <jakub@vrana.cz>
Mon, 31 Mar 2025 08:23:03 +0000 (10:23 +0200)
externals/PhpShrink

index 9ff1f4be6800a72e6cc866104b38a61d706b0417..7a4c6ac9ac102a32ed20ea02ac19ee99e7a815a7 160000 (submodule)
@@ -1 +1 @@
-Subproject commit 9ff1f4be6800a72e6cc866104b38a61d706b0417
+Subproject commit 7a4c6ac9ac102a32ed20ea02ac19ee99e7a815a7