I don't think it's particularly useful to ping during the freeze unless for patches it's important to get in for 2.20. It's better to wait until master is open for new development after 2.20 is out, and then ping. -- Joseph S. Myers joseph@codesourcery.com