| Bug #11717 | MySQL cannot convert "Division Sign" to 'eucjpms' from the other character-set. | ||
|---|---|---|---|
| Submitted: | 4 Jul 2005 10:24 | Modified: | 20 Jul 2005 1:28 |
| Reporter: | Yasufumi Kinoshita | ||
| Status: | Closed | ||
| Category: | Server | Severity: | S3 (Non-critical) |
| Version: | 5.0.7-beta | OS: | Any (*) |
| Assigned to: | Bugs System | Target Version: | |
[4 Jul 2005 10:24]
Yasufumi Kinoshita
[18 Jul 2005 7:39]
Alexander Barkov
Ok to push.
[18 Jul 2005 22:39]
Bugs System
A patch for this bug has been committed. After review, it may be pushed to the relevant source trees for release in the next version. You can access the patch from: http://lists.mysql.com/internals/27258
[18 Jul 2005 22:47]
Shuichi Tamagawa
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
[19 Jul 2005 7:38]
Alexander Barkov
Shuichi, after pushing a bug fix, please change status to "Documenting", not to "Closed". This helps doc team to include this change into ChangeLog. Thanks.
[20 Jul 2005 1:28]
Paul DuBois
Noted in 5.0.10 changelog.
