devtools 1.5.0.9001 (b9c619b) on r-devel (3.2.0)