On Friday, 18 September 2020 at 13:35:34 UTC, Jacob Carlborg wrote: > On 2020-09-17 12:10, John Colvin wrote: > >> I personally think it's not so bad as long as the commit gets >> written to the dub.selections.json > > It doesn't. I know. But it should be. But then again a lot of things “should be” with dub.