Better comments about KEY::ext_key_part_map
Merge branch '10.1' of github.com:MariaDB/server into 10.1