On 2021-05-17 16:06, Rüdiger Kupper wrote: > Is this issue related to Bug #1890905?
Well, it was me who suggested that. Maybe I should rather have pointed to the rather old bug #1423890, which includes a link to a mailing list discussion.
On 2021-05-17 16:06, Rüdiger Kupper wrote:
> Is this issue related to Bug #1890905?
Well, it was me who suggested that. Maybe I should rather have pointed to the rather old bug #1423890, which includes a link to a mailing list discussion.