Note that this particular version does *not* follow the -dev branch, and is
only a minor upgrade to the last public release.