Commit 915d8d2e2d71df6fd4369a7c0c41074c5f6f4018

Bruno Haible 2025-09-13T00:48:22

gitsub.sh: Revert last change. * top/gitsub.sh: Revert 2025-09-06 change.