merge queue: embarking main (9752182) and #511 together#536

Closed

mergify[bot] wants to merge 4 commits intomainfrom mergify/merge-queue/14b8df7d12

+981-25

Commits on Sep 5, 2023

add default serialization format
conradoplg
committed

Commits on Sep 11, 2023

Merge remote-tracking branch 'origin/main' into default-serialization-format
conradoplg
committed

Commits on Sep 12, 2023

remove SHORT_ID from Ciphersuite trait
conradoplg
committed

Commits on Sep 13, 2023

Merge of #511
mergify[bot]
authored