mirror of
https://github.com/git-for-windows/git.git
synced 2026-04-23 20:01:29 -05:00
This is now required by the big header cleanup in `en/header-split-cleanup`. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>