MariaDB: Promote getting to 10k GitHub stars in server log and client promptgithub.com
32 points by petecooper 5 hours ago | 14 comments