Update dependency verus-lang/verus to release/0.2026.04.19.6f7d4de#28
Merged
renovate[bot] merged 1 commit intomainfrom Apr 20, 2026
Merged
Update dependency verus-lang/verus to release/0.2026.04.19.6f7d4de#28renovate[bot] merged 1 commit intomainfrom
renovate[bot] merged 1 commit intomainfrom
![renovate[bot]](https://avatars.githubusercontent.com/in/2740?v=4&size=32){kind=avatar}