This is a re-release of 4.0.8 that fixes a packaging bug with Djblets
and a regression from a bad merge.