On Wednesday, 16 November 2022 at 00:57:20 UTC, zjh wrote: > I think it would be better to have an official `dmd update`. The 101.0 version has been `released` last time.