A few days later, the patch was indeed released, and the release notes explicitly referenced the bug: