Contra 5.7.2

Contra 5.7.2 released