The error code DB_TABLE_IS_BEING_USED was orphaned in
commit ddc663ef (MySQL 3.23.37).
Let us finally remove it.