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

35 points

by petecooper

4 hours ago

14 comments