Added release news for 0.7.2.