V7.20 [stable] is released!

Good idea!!!