[openssl-dev] [openssl.org #4519] [openssl.org bug #993] New bug report

[Salz, Rich]

> Should I make similar in https://rt.openssl.org/ or it is enough to have in
> github.com?

We prefer bug reports in RT, not as issues.  PR's on GitHub are fine.