Bump to version 0.10.2 (tagged October 31, 2014).