Skip to content

fix: decrease dev size to fix building with Rust 1.81.0#374

Merged
mkroening merged 1 commit intomainfrom size-workaroundSep 17, 2024

Commits

Commits on Sep 17, 2024