MySQL Forums
Forum List  »  MySQL Workbench

Re: can't delete index
Posted by: Mike Lischke
Date: June 23, 2009 01:15AM

Hey Charles,

which version do you use? If it is 5.2 then it is very likely that some functionality is missing as this is just in alpha stadium. For 5.1 however it would require special attention and I'd like to ask you to file a bug report at http://bugs.mysql.com with an exact step-by-step list to reproduce the issue. We will then look into it.

Mike

Mike Lischke, MySQL Developer Tools
Oracle Corporation

MySQL Workbench on Github: https://github.com/mysql/mysql-workbench
On Twitter: https://twitter.com/MySQLWorkbench
On Slack: mysqlcommunity.slack.com (#workbench)
Report bugs to http://bugs.mysql.com
MySQL documentation can be found here: http://dev.mysql.com/doc/refman/8.0/en/

Options: ReplyQuote


Subject
Views
Written By
Posted
3880
June 22, 2009 02:56PM
Re: can't delete index
2278
June 23, 2009 01:15AM
1952
June 23, 2009 01:46PM
3042
July 02, 2009 10:52AM


Sorry, you can't reply to this topic. It has been closed.

Content reproduced on this site is the property of the respective copyright holders. It is not reviewed in advance by Oracle and does not necessarily represent the opinion of Oracle or any other party.