7 Nov
2019
7 Nov
'19
12:03 p.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