[Maria-developers] Rev 13: Merge. in file:///Users/hakan/work/monty_program/mariadb-tools/