maria:10.2

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

Branch merges

Branch information

Name:
10.2
Repository:
lp:maria

Recent commits

1da8441... by Sergey Petrunia 11 hours ago

Fix rocksdb.tbl_opt_data_index_dir on a mac

Some recent commit information could not be fetched.