No problem, just wanted to make sure we're not missing anything :-D edit: Well actually the recent edit makes this comment now more confusing. The github page

No problem, just wanted to make sure we're not missing anything :-D edit: Well actually the recent edit makes this comment now more confusing. The github page is associated with a MySQL bug, which will be handled. This comment, originally, was under a different thread, which, to me, sounded like there was another bug report by dang we missed ...