git version 2.15.2 warning: redirecting to https://https.git.savannah.gnu.org/git/texinfo.git/ From https://git.savannah.gnu.org/git/texinfo * branch master -> FETCH_HEAD HEAD is now at cb31aa8962 hide COLLATION_LANGUAGE and DOCUMENTLANGUAGE_COLLATION, remove from C cb31aa896254febf4f9c633a29ca1bd658622d79