Skip to content

Remove mention of -Zborrowck=mir with Polonius.#1367

Merged
spastorino merged 1 commit intorust-lang:masterfrom
ehuss:patch-1
Jun 8, 2022
Merged

Remove mention of -Zborrowck=mir with Polonius.#1367
spastorino merged 1 commit intorust-lang:masterfrom
ehuss:patch-1

Commits

Commits on Jun 8, 2022