Release: v1.14.0

Weekly release for December 13 2022

What's Changed

• docs: Fix spelling by @jabley in #1578
• build(deps): bump model-checking/kani-github-action from 0.15 to 0.16 by @dependabot in #1580
• Give datagram receiver access to current connection path by @Mark-Simulacrum in #1576
• Remove &mut from datagram_mut by @Mark-Simulacrum in #1583
• build(deps): update s2n-tls to 0.0.21 by @toidiu in #1587
• chore: release 1.14.0 by @toidiu in #1588

New Contributors

• @jabley made their first contribution in #1578

Full Changelog: v1.13.0...v1.14.0