On Sun, 4 Aug 2019 13:00:52 -0600 The Doctor wrote: > MariaDB 10.3.17 is out? > > Who is supposed to be looking after this port? > cd /usr/ports/<category>/<port> make maintainer