maria:bb-10.2-MDEV-7914

Last commit made on 2017-06-29
Get this branch:
git clone -b bb-10.2-MDEV-7914 https://git.launchpad.net/maria

Branch merges

Branch information

Name:
bb-10.2-MDEV-7914
Repository:
lp:maria

Recent commits

67d7277... by Jacob Mathew on 2017-06-29

MDEV-7914 spider/bg.ha, spider/bg.ha_part fail sporadically in buildbot

Fixed the problem by adding a Spider shutdown indicator and a Spider memory
lock. Spider shutdown acquires the lock for write access and
all other requestors acquire the lock for read access.

Some recent commit information could not be fetched.