l...@gnu.org (Ludovic Courtès) writes: > Cool, thanks for going over all these loose ends! ;-)
I'm really happy to be getting through them... these are things that have been sitting in my inbox for ages. > Maybe 1.8.7 is approaching now? Yes, that would be good. It might just be worth fixing the jmp_buf definition problem before that (which I should get to in the next week or so) - but on the other hand we already have plenty of fixes for a 1.8.7. When would be a good time for you to do a release? (Assuming here that you don't mind doing the mechanics. In case it isn't convenient, I don't mind learning!) Regards, Neil