On Monday, 5 September 2022 at 11:39:44 UTC, Mike Parker wrote: > [...] Thanks for the roundup! It's exciting to see dub being worked on more actively. Even the superficial changes are nice.