mirror of
https://github.com/git/git.git
synced 2026-01-22 08:27:53 +00:00
These changes are needed to make Git build with DEVELOPER=1 again. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
These changes are needed to make Git build with DEVELOPER=1 again. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>