Merge pull request #5456 from jefferyto/python-automat
authorHannu Nyman <hannu.nyman@iki.fi>
Fri, 19 Jan 2018 16:03:13 +0000 (18:03 +0200)
committerGitHub <noreply@github.com>
Fri, 19 Jan 2018 16:03:13 +0000 (18:03 +0200)
python-automat: new package


Trivial merge