Core contributions

MariaDB Contributions Dashboard
https://github.com/MariaDB/server/

• 2025 Q1: Merged and closed | Open at end of quarter
• 2025 Q2: Merged and closed | Open at end of quarter