mirror of
https://github.com/MariaDB/server.git
synced 2025-08-30 11:22:14 +03:00
dict_load_table(): Remove unused label that was accidentally introduced in a 4.0->4.1->5.0 merge. innobase/dict/dict0load.c: dict_load_table(): Remove unused label that was accidentally introduced in a 4.0->4.1->5.0 merge.