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

by petecooper | View on Hacker News