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 657f04aa42 * tta/C/convert/convert_to_plaintext.c (get_form_feeds) 657f04aa42a2dc22eb4b00d6c628386ed3115d05