cargo: add version number to `jj-lib` dependency#2217

Merged

martinvonz merged 1 commit intomainfrom push-qzspqnvokkwv

Sep 7, 2023

+1-1

Commits on Sep 6, 2023

cargo: add version number to jj-lib dependency
martinvonz
committed