new 1.3.1 version info in ChangeLog
renaming '.devtools_globals' to '.devtools_global' (no trailing 's')