Hi, Many files in the Texinfo Git repository have file names that are invalid on MS-Windows: they include the colon character. This makes it virtually impossible to push changes from an MS-Windows machine.
Is there any chance to rename those files so that they don't have colons in their names? TIA
