maria:bb-10.5-serg

Last commit made on 2019-08-24
Get this branch:
git clone -b bb-10.5-serg https://git.launchpad.net/maria

Branch merges

Branch information

Name:
bb-10.5-serg
Repository:
lp:maria

Recent commits

57b4c64... by Monty <email address hidden> on 2019-08-23

Fixed issues when running mtr with --valgrind

- Use SIGFPE instread of SIGKILL in _db_suicide_() as valgrind ignores
  SIGKILL

Some recent commit information could not be fetched.