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.