Aug 16, 2018
Bump version to 4.11.1
Aug 15, 2018
Bump version to 4.11.0
Jan 23, 2017
Update NEWS.
Jun 12, 2015
Bump version to 4.9.2
Feb 3, 2015
Bump version to 4.9.1
Dec 16, 2014
Bump version to 4.9.0
Nov 25, 2014
Bump version to 3.8.0
Nov 4, 2014
Bump version to 4.7.1
Oct 14, 2014
Bump version to 4.7.0
Sep 20, 2014
Remove unused variable