Version 1.2 of devtools released

2013-04-17