Bug #34400 | Inconsistent naming of menu option | ||
---|---|---|---|
Submitted: | 7 Feb 2008 22:57 | Modified: | 8 Feb 2008 13:03 |
Reporter: | Peter Lavin | Email Updates: | |
Status: | Closed | Impact on me: | |
Category: | MySQL Workbench | Severity: | S3 (Non-critical) |
Version: | 5.0.13 | OS: | Any |
Assigned to: | CPU Architecture: | Any | |
Tags: | menu naming |
[7 Feb 2008 22:57]
Peter Lavin
[8 Feb 2008 13:03]
Vladimir Kolesnikov
Thank you for your bug report. This issue has been committed to our source repository of that product and will be incorporated into the next release. If necessary, you can access the source repository and build the latest available version, including the bug fix. More information about accessing the source trees is available at http://dev.mysql.com/doc/en/installing-source.html