[2019] When will a patch come out that fixes the ladder issues?

The issue with the ladder will be corrected in Patch 0.7.3, which we’ll release later this month.