Bug #108848 duplicate words "pages"
Submitted: 21 Oct 2022 16:31 Modified: 23 Oct 2022 20:18
Reporter: Keiichi Kobayashi Email Updates:
Status: Closed Impact on me:
Category:MySQL Server: Documentation Severity:S3 (Non-critical)
Version:8.0 OS:Any
Assigned to: CPU Architecture:Any

[21 Oct 2022 16:31] Keiichi Kobayashi
The MySQL documentation on the redo log page (https://dev.mysql.com/doc/refman/8.0/en/innodb-redo-log.html), duplicate words "pages" in the sentence "dirty pages pages are flushed more aggressively, eventually decreasing the disk space occupied by redo log files.".

How to repeat:

Suggested fix:
"dirty pages pages" should be "dirty pages"
[22 Oct 2022 5:36] MySQL Verification Team
Hello Keiichi Kobayashi,

Thank you for the report and feedback.

[23 Oct 2022 20:18] Stefan Hinz
Posted by developer:
Thanks for reporting the typo! Fixed.