V7.20 [stable] is released!

Version 7.20.1 has been released: