MDEV-10814: hartmut coredump exclusions (10.1)#333

grooverdan wants to merge 8 commits into

MariaDB:10.1MariaDB/server:10.1from

grooverdan:10.1-MDEV-10814-hartmut-coredump-exclusionsgrooverdan/mariadb-server:10.1-MDEV-10814-hartmut-coredump-exclusionsCopy head branch name to clipboard