mirror of
https://github.com/git/git.git
synced 2026-03-21 14:10:09 +01:00
Another late-night bug. Sorry again. Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de> Signed-off-by: Junio C Hamano <junkio@cox.net>
15 KiB
15 KiB