Date: Mon, 6 Dec 2021 17:05:38 +0100
From: Anthony Mallet <anthony.mal...@laas.fr>
Message-ID: <25006.13522.25953.845...@gargle.gargle.howl>
| (BTW, in case someone did not notice, there is lib/56531)
Yes, I saw it go past, that was the "proposed correction" I referred to,
though, while that message will still be in my e-mail, somewhere, I hadn't
noted, or remembered, which PR it was.
If no-one else gets to it before I get a chance, I'll look at dealing
with that in the next day or two (unless something else comes up).
kre
