Merge branch 'master' into gilbert
[philo.git] / contrib / shipherd / __init__.py