Closed kaduk closed 3 years ago
I added this with naive editing that forgot we use [TLS13] as the tag for RFC 8446.
This is failing CI because now the 8446 reference is missing. I'll fix it later unless you do.
It appears that I am confused about how the toolchain works and you should probably fix it. Sorry for the trouble.
I added this with naive editing that forgot we use [TLS13] as the tag for RFC 8446.