| Bug #15521 | Cannot reorganize a partition with a new name equal to the old name | ||
|---|---|---|---|
| Submitted: | 6 Dec 2005 15:43 | Modified: | 20 Dec 2005 13:54 |
| Reporter: | Kolbe Kegel | Email Updates: | |
| Status: | Closed | Impact on me: | |
| Category: | MySQL Server: Partitions | Severity: | S3 (Non-critical) |
| Version: | 5.1.3 | OS: | Linux (Linux) |
| Assigned to: | Alexey Botchkov | CPU Architecture: | Any |
[6 Dec 2005 15:43]
Kolbe Kegel
[12 Dec 2005 19:36]
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/commits/78
[15 Dec 2005 10:52]
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/commits/172
[16 Dec 2005 7:56]
Alexey Botchkov
fixed in 5.1.4
[20 Dec 2005 13:54]
Jon Stephens
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
Additional info:
Documented in 5.1.4 changelog; added note to 5.1 Partitioning chapter in Manual. Closed.
