Update s2n-quic submodule to latest (#3031)

Update the s2n-quic submodule to bring in the latest proofs. This is to ensure we don't break any of the existing proofs. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
model-checking · Feb 15, 2024 · 6bea131 · 6bea131
1 parent 17ff02c
commit 6bea131
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/tests/perf/overlays/s2n-quic/tools/xdp/s2n-quic-xdp/expected b/tests/perf/overlays/s2n-quic/tools/xdp/s2n-quic-xdp/expected
diff --git a/tests/perf/s2n-quic b/tests/perf/s2n-quic