Re:Mariadb.com is dead, long live MariaDB.org
by madeofpalk on Thursday April 06, 2023 @11:55AM
(#35470202)
Does the original creator have a third kid to name the next fork after?
[ Parent
| on HN ]