Hi Andrej, Sorry to be a bother, but were you able to take a look at this?
On Thu, Apr 11, 2019 at 2:24 PM Nikhil Benesch <nikhil.bene...@gmail.com> wrote: > > > Thanks, I’ll have a look at this some time next week (I’m currently > > busy with lots of other stuff). > > Great, no rush. I figure it’ll be a few years before the next release > anyway. :) > > >> P.S. Is there a better place to send this mail? I didn't see any mailing > >> lists besides this one, and the patches section of the Savannah project > >> doesn't seem to be used. > > > > This mailing list is fine. > > Excellent. I expect to send along another patch or two shortly. > > _______________________________________________ bug-indent mailing list bug-indent@gnu.org https://lists.gnu.org/mailman/listinfo/bug-indent
