mirror of
https://github.com/git-for-windows/git.git
synced 2026-05-15 03:31:01 -05:00
The breakage has been fixed, so let's drop the temporary workaround. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
The breakage has been fixed, so let's drop the temporary workaround. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>