Hi, Andrew, I've merely asked to retain the # MDEV-6975 Implement TLS protocol line. I'd prefer the contributor to do it before the PR is merged. On Oct 04, Andrew Hutchings via developers wrote:
Hi Otto,
#2556 has been merged.
#3208 I was confused about Sergei's review, it was approved but appeared to have outstanding comments? If Sergei really is OK with it, I'll get it landed.
Kind Regards Andrew
On 03/10/2024 16:00, Otto Kekäläinen via developers wrote:
Hi,
Here are two PRs that have already two approvals, yet they have not been merged for many weeks. Can you please state explicitly on the PR as a comment what the submitter needs to do, or if there is nothing to do, just merge it?
* https://github.com/MariaDB/server/pull/3208 * https://github.com/MariaDB/server/pull/2556
Thanks
Regards, Sergei Chief Architect, MariaDB Server and security@mariadb.org