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
Portions of this website are copyright © 2001, 2002 The PHP Group
Page generated in 0.039 sec. using MySQL 8.4.7-u6-cloud
Timestamp references displayed by the system are UTC.
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.