v0.9.25

What's Changed

• Run proofs with CBMC 6.1.0 by @graebm in #1140
• Avoiding allocating a handle in the Windows RNG. by @teo-tsirpanis in #1046
• Add no copy api variants to json interface by @DmitriyMusatkin in #1138
• Allocate error space for aws-crt-swift by @xiazhvera in #1129

New Contributors

• @teo-tsirpanis made their first contribution in #1046

Full Changelog: v0.9.24...v0.9.25