ref-filter: use clear_commit_marks_many() in do_merge_filter()
authorRené Scharfe <l.s.r@web.de>
Mon, 25 Dec 2017 17:44:12 +0000 (18:44 +0100)
committerJunio C Hamano <gitster@pobox.com>
Thu, 28 Dec 2017 21:50:05 +0000 (13:50 -0800)
commit5dee6d6f28370b613ccf945b1ba8cecb0b44c172
tree9e34d2ea52ae749330517d9d202940cfe8f91d8f
parentabc035126a58829cb7265b3ab2f2ca30312aa3b7
ref-filter: use clear_commit_marks_many() in do_merge_filter()

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