Commit cff31e5c000887a0abc002ea738d912d558dce9a

Bruno Haible 2019-04-01T23:15:56

gitsub.sh: New file. * top/gitsub.sh: New file.