Skip to content

Tree Borrows: do not create new tags as 'Active'#3106

Merged
bors merged 1 commit intorust-lang:masterfrom RalfJung:tree-borrows-initialOct 5, 2023