Whoops. The final version had this change, but I forgot to include it when opening the Git for Windows PR... Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>