Update dependencies (rustc nightly-2022-10-01, viper v-2022-09-30-1522)#1180

Closed

viper-admin wants to merge 1 commit intomasterfrom auto-update-nightly-2022-10-01

+2-2

Commits on Oct 1, 2022

Update dependencies (rustc nightly-2022-10-01, viper v-2022-09-30-1522)
fpoli
authored