Re: [Maria-developers] MariaDB 10.1.15

2016-07-04 Thread Reindl Harald
Am 04.07.2016 um 14:01 schrieb Antonio Fernandes: 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 d

[Maria-developers] MariaDB 10.1.15

2016-07-04 Thread Antonio Fernandes
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,