Lukas Zeller

Results 2 issues of Lukas Zeller

Follow up for #2977 because I don't have push permissions on that branch.

See the following PRs relating to fuzz testing [botan](https://github.com/randombit/botan)'s TLS 1.3: - https://github.com/randombit/botan/pull/3013 - https://github.com/randombit/botan/pull/2980