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

3 points | by petecooper an hour ago

1 comments