On January 22, 2022 3:47:44 AM UTC, Stefan Monnier <monnier@iro.umontreal.ca> wrote:

>Hmm... too bad I didn't notify myself when I did.
>Oh, I see I did it while I was masquerading as Lars,
>that explains it ;-)

Oof, I double checked who I was replying from two people and still missed