Merge branch 'manatree' into 'master'

update manatree

See merge request !239
16 jobs for master in 23 minutes and 8 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #542734469
build_test

00:10:41

passed #542734481
mariadb_init_10.0

00:00:55

passed #542734493
mariadb_init_5.5

00:00:59

passed #542734479
mariadb_init_latest

00:01:07

passed #542734472
mysql_init_5.5

00:00:53

passed #542734474
mysql_init_5.6

00:00:53

passed #542734475
mysql_init_5.7

00:01:22

passed #542734464
newlines

00:00:45

passed #542734466
spaces

00:00:38

 
  Test
passed #542734498
mariadb_run_latest_gcc4.9

00:11:05

passed #542734499
mariadb_run_latest_gcc6

00:10:34

passed #542734501
mariadb_run_valgrind_latest

00:07:59

passed #542734495
mysql_run_5.7_gcc4.9

00:11:56

passed #542734500
mysql_run_valgrind_5.7

00:06:51

 
  Fail
skipped #542734506
fail_job
 
  Ok
passed #542734510
ok_job

00:00:29