On Wed, May 12, 2021 at 11:08:09AM -0000, Thomas Huth wrote:
>
> If it is not fixed yet and you think that this bug report here is still
> valid, then you have two options:
Actually, you seem to have forgotten a third option: I simply don't care
enough, especially after the patronizing response to my original report,
to bother.
On Wed, May 12, 2021 at 11:08:09AM -0000, Thomas Huth wrote:
>
> If it is not fixed yet and you think that this bug report here is still
> valid, then you have two options:
Actually, you seem to have forgotten a third option: I simply don't care
enough, especially after the patronizing response to my original report,
to bother.