On Sat, Jan 20, 2018 at 5:21 AM, Magnus Hagander <magnus(at)hagander(dot)net> wrote:> I've pushed a fix, hopefully it should work now.
Thanks! I'll try to keep an eye out for it.
-- Peter Geoghegan