mirror of
https://github.com/git/git.git
synced 2026-03-23 15:10:07 +01:00
The earlier round failed to make --really-refresh to mark up-to-date index entry to valid again due to a trivial thinko. Signed-off-by: Junio C Hamano <junkio@cox.net>
15 KiB
15 KiB