On Aug 7, 2017, at 8:26 AM, gregor herrmann <gre...@debian.org> wrote: > > > This looks indeed much better than my crude workarounds, thanks for > that! > > Do you think you can take this up with upstream?
Yes, I think Kjetil and I can work on getting this merged upstream. Thanks, Greg
