> 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
