On Wed, Feb 21, 2018 at 3:27 PM, Jeff King <peff@xxxxxxxx> wrote: > > We'll skip the usual deprecation period because this was > explicitly a debugging aid that was never documented. Ack. I don't think I've used it since, and probably nobody else ever used it. Linus