3.12

Support for Agile Manager workspaces.

Due to my error, the binary downloadable for 3.12 release was for some time in fact the one coming from 3.12-RC1. The impact is minimal and those who already updated will receive the fix on next regular version...