[MariaDB developers] Re: 7 PRs pending second approver - can somebody do it?

Hi Otto, On 08/04/2024 06:13, Otto Kekäläinen wrote:

https://github.com/MariaDB/server/pull/3100 https://github.com/MariaDB/server/pull/3120 https://github.com/MariaDB/server/pull/3125 https://github.com/MariaDB/server/pull/3142 https://github.com/MariaDB/server/pull/3154

To update on these, the MariaDB Server developers and I have moved all of them along further. Kind Regards -- Andrew (LinuxJedi) Hutchings Chief Contributions Officer MariaDB Foundation