1.7.2rc3 has been released; on to 1.7.2rc4