Bug #5018 | Changing font size doesn't work | ||
---|---|---|---|
Submitted: | 12 Aug 2004 13:42 | Modified: | 12 Aug 2004 20:00 |
Reporter: | Bodo Noering | Email Updates: | |
Status: | Closed | Impact on me: | |
Category: | MySQL Administrator | Severity: | S2 (Serious) |
Version: | 1.0.9 | OS: | Windows (Windows XP SP2) |
Assigned to: | Michael G. Zinner | CPU Architecture: | Any |
[12 Aug 2004 13:42]
Bodo Noering
[12 Aug 2004 20:00]
Michael G. Zinner
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 bugfix, yourself. More information about accessing the source trees is available at http://www.mysql.com/doc/en/Installing_source_tree.html