Yes, you're correct (that pr is merged yesterday)