commit: use clear_commit_marks_many() in remove_redundant()
authorRené Scharfe <l.s.r@web.de>
Mon, 25 Dec 2017 17:44:03 +0000 (18:44 +0100)
committerJunio C Hamano <gitster@pobox.com>
Thu, 28 Dec 2017 21:50:05 +0000 (13:50 -0800)
commitabc035126a58829cb7265b3ab2f2ca30312aa3b7
tree845f23e563831afdb597736962bca8639ed59c10
parent07f7d55a346f0eb73a358736ce065f8c08b46452
commit: use clear_commit_marks_many() in remove_redundant()

Signed-off-by: Rene Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
commit.c