Release of version 5.7.2.