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