(Found during MDEV-12179 development, but independent of it, so put into a separate commit).
Attach a file by drag & drop or click to upload