Cyril Roelandt <tipec...@gmail.com> skribis: > On 09/07/2015 11:07 AM, Andreas Enge wrote: >> This looks harmless to push > > Btw, is it OK to directly push such changes?
Yes, see “Commit Access” in ‘HACKING’. Basically if there’s too much rebuilding, or a potential for disruption or controversy, post it here. Let me know if you think this should be clarified. Ludo’.