On Mon, Jul 29, 2019 at 11:28:29AM +0200, Daniel Schneller wrote: > Hi! > > Thanks for taking a look and explaining. Should I create a ticket on GitHub > for this? > > Daniel > >
Sure, you can fill a feature request so we don't lose it. -- William Lallemand
