Armin Rigo - 2019-07-11

The source code moved to https://bitbucket.org/arigo/bub-n-bros/ . This patch won't be attended to.