Andreas, On 04/08/16 10:09, Andreas Enge wrote: > I think you can push such trivial changes without asking on the list
Oh, I absolutely agree, but then HACKING reads: Non-trivial patches should always be posted to [email protected] (trivial patches include fixing typos, etc.) Choosing typos as an example seemed oddly specific and deliberate to me, not on the same level as even minor revision bumps. Glad to hear I was being overly cautious :-) Kind regards, T G-R
