Otto,

Thanks for highlighting the most important PRs!

I discussed them with Andrew. As you know, his hard disk crashed so he doesn't have exact data at hand – but most of the PRs you mentioned, Andrew has already raised with SerG, allocating second reviewers. So all are in progress.

Sorry for not being exact on the level of individual PRs. But 3114 is for Vicentiu, who is the expert, but he is concentrating on Vectors.

Kaj

Den tors 25 apr. 2024 kl 08:21 skrev Otto Kekäläinen via developers <developers@lists.mariadb.org>:

Hi all with permission to review / add approval,

This is ready to be merged into 11.5 and already has approval from
Andrew, just needs one more approval:
https://github.com/MariaDB/server/pull/2671

This has also one approval from Andrew, pending a second to be merged:
https://github.com/MariaDB/server/pull/2169

Likewise, approved by Andrew, pending second:
https://github.com/MariaDB/server/pull/2516

Additionally, this has been open for since January without any
reviews: https://github.com/MariaDB/server/pull/2985

This was updated a month ago based on feedback, but hasn't gotten a
re-review since: https://github.com/MariaDB/server/pull/3114

Pending re-review: https://github.com/MariaDB/server/pull/2556

- Otto
_______________________________________________
developers mailing list -- developers@lists.mariadb.org
To unsubscribe send an email to developers-leave@lists.mariadb.org