Salut Sylvestre, On Mon, Nov 16, 2020 at 03:18:44PM +0100, Sylvestre Ledru wrote:
> This is the same issue. No need to fill separate bugs :) OK I try to take this into account the next time, and use an Affects (there are more bug reports to come). Cheers -Ralf
