Hi all,

This is a notice to everybody tracking their install from our GitHub repository: I've just updated the Dojo dependency to these versions:

1.5 branch: 1.10.9 (from 1.10.8) master branch: 1.13.0 (from 1.12.2)

You can run

$ git submodule foreach git remote update -p $ git submodule update

to check out the latest dojo dependency and

$ make dojo

to create the dojo JavaScript artifacts.

Users of the release archives (tarballs) don't have to do anything and will be updated to the new versions on the next release.