On Friday, 7 June 2019 at 11:02:29 UTC, mate wrote:
On Friday, 7 June 2019 at 10:57:42 UTC, Mike Parker wrote:
No, the text is correct as published. See Andrei's announcement at the beginning of the AGM:https://youtu.be/cpTAtiboIDs?t=3041
I've seen the AGM, but doesn't that worth a post somewhere? /P
