Commit a48ee7b1 authored by Clara Engler's avatar Clara Engler
Browse files

Merge branch 'arti-2.5.1' into 'main' 

cargo: Update to Arti 2.5.1

See merge request !708
parents 9cf781b6 0978d5e5