Am 07.08.2017 um 18:05 schrieb Emmanuel Gil Peyrot: > Hi, > > On Mon, Aug 07, 2017 at 12:19:12PM +0200, Paul Schaub wrote: >> I see, that in some spots the wrong format has already been fixed. I'll >> create a PR fixing the remaining occurences :) > I already proposed a fix long ago, see this PR[1], but the editor > process is still stuck on something preventing PRs from being merged.
Yeah, I have seen that (a little bit too late) and already closed my PR :D Greetings vv
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Standards mailing list Info: https://mail.jabber.org/mailman/listinfo/standards Unsubscribe: [email protected] _______________________________________________
