Bump to version 3.5.2 (tagged October 29, 2014).