[Commits] a0d33dc6ef6: MDEV-16689: core-file should become a real server variable