On Tue, Jan 10, 2017 at 12:05 AM, Magnus Hagander <magnus(at)hagander(dot)net> wrote:> OK. Pushed. I agree it made it more readable, if nothing else.
Thanks.-- Michael