Andy Wingo <wi...@pobox.com> skribis: > This is the first time I've tried git-send-email, so perhaps something > goes wrong. In any case, the intention is to allow folks to comment > easily on the code; we'll see how that goes.
Thanks for doing this! Again, at this stage I don’t have anything clever to say about this code. As far as I’m concerned, I don’t want to be a hindrance, so feel free to push uncontroversial things like this after a few days if nothing comes out. WDYT? Ludo’.