maria:bb-10.1-mdev6657-r2

Last commit made on 2014-10-07
Get this branch:
git clone -b bb-10.1-mdev6657-r2 https://git.launchpad.net/maria

Branch merges

Branch information

Name:
bb-10.1-mdev6657-r2
Repository:
lp:maria

Recent commits

4439d1f... by Monty <email address hidden> on 2014-10-07

Merge branch '10.1' of github.com:MariaDB/server into 10.1

Merge with main branch

Some recent commit information could not be fetched.