![](https://secure.gravatar.com/avatar/23bee1ba3b63d309033933539d297fee.jpg?s=120&d=mm&r=g)
7 Nov
2019
7 Nov
'19
4:03 a.m.
On Wed, Oct 30, 2019 at 08:32:45PM +0100, luigi scarso wrote:
Thank you for the patch. It's a feature request, it has less priority than bugs fixing (and other emails sent by you).
Right, I already guessed as much but I thought I just send it anyway in case you find it useful :) -- Marcel