Got it, sounds good.
On Sat, Dec 22, 2018 at 2:22 PM Jeff King <p...@peff.net> wrote: > > On Thu, Dec 20, 2018 at 09:24:10PM -0800, Issac Trotts wrote: > > > Hi all, friendly ping. Is there still interest in merging this patch? > > Yes, but I think people are largely absent for holidays at this point. > If there hasn't been any movement on it, I'll try to review after Jan > 5th (it also wouldn't hurt to re-post around then). > > -Peff
