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

Reply via email to