On Sun, Aug 4, 2019 at 1:03 PM The Doctor <doctor at doctor.nl2k.ab.ca> wrote: > > MariaDB 10.3.17 is out? > > Who is supposed to be looking after this port? The person listed as maintainer in the port. # Adam -- Adam Weinberger adamw at adamw.org https://www.adamw.org