On Monday, 2 November 2020 at 17:54:48 UTC, Mike Parker wrote:
My mistake was assuming that because it's an open issue, it still hasn't been resolved. Had I checked the release tags and the dates,
For the dub registry releases aren't generally tagged, but often released from master.
I would have seen that a release has since been made. But I didn't, so mea culpa.
I tagged the release as a response to your post to show how easy it is/was.
However, our conversation could have gone like this:
I'm sorry about the rather aggressive tone.
