maria:bb-10.3-vicentiu-travis

Last commit made on 2017-12-30
Get this branch:
git clone -b bb-10.3-vicentiu-travis https://git.launchpad.net/maria

Branch merges

Branch information

Name:
bb-10.3-vicentiu-travis
Repository:
lp:maria

Recent commits

051015f... by Vicențiu Ciorbaru on 2017-12-30

Tentative fix for travis

This undoes a lock-unlock for LOCK_thread_count.

Some recent commit information could not be fetched.