commit afd3fad50d76dcb4049c9cefbf2fef20dc712c50 (HEAD, master) Author: Cosimo Cecchi Date: 2013-06-17 release: prepare for 3.9.3