Hey there, just curious regarding the state of this bug.
@Karl: Did someone review your patch? Or did you gain any additional support for submitting it? It would be a shame to not incorporate the fix, just because it was simply forgotten… -hendrik > On Jan 12, 2017, at 08:58, Hendrik Schreiber <h...@tagtraum.com> wrote: > > >> On Jan 12, 2017, at 04:22, Karl von Randow <k...@xk72.com> 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 >
