1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Removed no longer used label

This commit is contained in:
Vicențiu Ciorbaru
2013-10-17 15:11:05 -07:00
committed by Sergei Golubchik
parent 096e7aa1e0
commit 6680bb14a4

View File

@ -6340,7 +6340,6 @@ static int handle_roles_mappings_table(TABLE *table, bool drop,
}
table->file->ha_rnd_end();
}
end:
DBUG_RETURN(result);
}
/*