maria-developers team mailing list archive

["Antonio Fernandes" <antoniopaisfernandes@xxxxxxxxx>]

Hi all,

What happened to MariaDB 10.1.15?

I've upgraded my slave server, waited a few days (like I always do before
master) and now, no MariaDB 10.1.15 :)

Ohh, btw, 10.1.14 changelog
(https://mariadb.com/kb/en/mariadb/mariadb-10114-changelog/) still displays
that 10.1.15 is the latest.

Regards,
António