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.

Reply via email to