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. -- /Jacob Carlborg