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