Reopening fixed issued on Bugzilla

[mw]

On Friday, 23 September 2022 at 08:05:20 UTC, max haughton wrote:
> On Friday, 23 September 2022 at 07:38:46 UTC, Quirin Schroll 
> wrote:
>> On Thursday, 22 September 2022 at 20:26:37 UTC, Paul Backus 
>> wrote:
>>> Of course, with the planned migration to GitHub issues, all 
>>> of this discussion is somewhat moot.
>>
>> My last understanding was that this migration is *not* 
>> desired. If it really is, cool.
>
> It is happening

That is great.