Got it, sounds good. On Sat, Dec 22, 2018 at 2:22 PM Jeff King <peff@xxxxxxxx> 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
