v7.13.5 [stable] is released!

Thanks for the tip, man. You are a lifesaver!