Timothy <tecos...@gmail.com> writes: > Pushed :) For future reference, should I be less wary of pushing commits > I'm confident in and haven't had any negative feedback on?
Yes, sure. > p.s. updates.orgmode.org is returning a 502 error again Fixed, thanks. PS: I'm off next week but will be more available from 20-30 July. -- Bastien