Update dependencies (rustc nightly-2023-12-01, viper v-2023-09-27-0729) - #1477

Closed

viper-admin wants to merge 1 commit into

auto-update-nightly-2023-12-01

Commits on Dec 1, 2023

Update dependencies (rustc nightly-2023-12-01, viper v-2023-09-27-0729)
fpoli
authored
290f07f