Den mån 2 maj 2022 kl 23:01 skrev Daniel Shahaf <d...@daniel.shahaf.name>:
> Also, to answer your question in the OP, we'll want to remove 1.10 from > the download page and from dist/release/. > Done in r1900661 (only in staging so far) and r54361. Thanks! /Daniel
