Sync with Git 2.25.2

Signed-off-by: Junio C Hamano <gitster@pobox.com>

Junio C Hamano committed Mar 17, 2020 at 15:16 UTC be8661a3286c67a5d4088f4226cbd7f8b76544b0

No changes.