Re: [PATCH 0/2] fix v2.15 progress regression

Jeff King [off-list ref] writes:

Here's what I think we should do: fix the bug in the minimal way, and
then drop the useless code. It's worth doing in two steps, because we
may decide to resurrect the feature later, and it would then just be a
straight revert of the second commit.

Yup.  Thanks; will queue.