Bump version to 5.3.1; Update ChangeLog.