Bastien <b...@gnu.org> writes:
> You can consider this an explicit approval :) Even if we do something > wrong, we can always discuss and revert it. > > Thanks! Pushed :) For future reference, should I be less wary of pushing commits I'm confident in and haven't had any negative feedback on? -- Timothy p.s. updates.orgmode.org is returning a 502 error again
