Fix went in the 8.0.13 release branch yesterday. It will fixed in the next 8.0.13 release, which will likely be the final.