Comments - MariaDB 10.1.7 Release Notes
Content reproduced on this site is the property of its respective owners,
and this content is not reviewed in advance by MariaDB. The views, information and opinions
expressed by this content do not necessarily represent those of MariaDB or any other party.
Can you post instructions for migrating from MariaDB 10.0 to MariaDB 10.1?
The instructions at Upgrading from MariaDB 5.5 to MariaDB 10.0 should work, excepting of course the list of changed variables.