devtools 1.4 now available

2013-11-27