G github.com MariaDB: Promote getting to 10k GitHub stars in server log and client prompt 64 points petecooper 3 months ago 23 comments
