On Tue, 2023-10-03 at 20:49 +0200, Maxime Devos wrote: > > subtle spelling error: subtleties -> subtleties
That's pretty subtle!
On Tue, 2023-10-03 at 20:49 +0200, Maxime Devos wrote: > > subtle spelling error: subtleties -> subtleties
That's pretty subtle!