MariaDB: Promote getting to 10k GitHub stars in server log and client prompt

(github.com) by petecooper | Aug 4, 2026 | 1 comments on HN