Code

Update s2n-quic submodule#3050

Code

Merged

zhassan-aws merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:update-s2n-quic-modulezhassan-aws/kani:update-s2n-quic-moduleCopy head branch name to clipboardMar 1, 2024

+2-1

Commits

Commits on Mar 1, 2024

• Update s2n-quic submodule

  zhassan-aws

  committed
  d0f9c24