On Tue, Dec 27, 2016 at 6:40 PM, Magnus Hagander <magnus(at)hagander(dot)net> wrote:> Good spot, thanks! Applied.
Thanks for the commit.-- Michael