maria:10.1

Last commit made on 2019-07-19
Get this branch:
git clone -b 10.1 https://git.launchpad.net/maria

Branch merges

Branch information

Name:
10.1
Repository:
lp:maria

Recent commits

4aa97ba... by Marko Mäkelä on 2019-07-19

Fix innodb-system-table-view for --embedded

Some recent commit information could not be fetched.