Jeff King <peff@xxxxxxxx> 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.