Merge branch 'master' of /users/git/public/pyceo