update changelog with 2013-07-11 push