Merge branch 'master' of gitlab.tiker.net:inducer/boxtree