> On Jan 12, 2017, at 04:22, Karl von Randow <[email protected]> wrote: > > I’m sorry I didn’t discover this bug somehow!
Who cares?—I really appreciate that you provide a fix after no progress has been made for more than half a year! That’s awesome. -hendrik
