Update dependencies (rustc nightly-2023-12-15, viper v-2023-12-06-0725)#1483

Closed

viper-admin wants to merge 1 commit intomasterfrom auto-update-nightly-2023-12-15

+2-2

Commits on Dec 15, 2023

Update dependencies (rustc nightly-2023-12-15, viper v-2023-12-06-0725)
fpoli
authored