V7.20beta [testing] is released!

[Paternot]

Hopefully they are working on 7.19.2 instead!

Both, probably? I don’t see 7.20.0 getting released before 7.19.2.