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

MariaDB: Promote getting to 10k GitHub stars in server log and client prompt (github.com)

64 points

bypetecooper

4 days ago |