Merge branch 'master' into patch-2 29/head
authorJochen Wiedmann <jochen.wiedmann@gmail.com>
Thu, 5 Nov 2020 22:38:07 +0000 (23:38 +0100)
committerGitHub <noreply@github.com>
Thu, 5 Nov 2020 22:38:07 +0000 (23:38 +0100)
commit368c17f5b9e50480525a71510b9d265d164cb479
tree922e97d164e1aa396c5dcc2d86ae3a9c0082b811
parentb8c93ca536ab4765e51275f73738f5b847936f5c
parentc0f8c663a9db0a62fa45c77e224036fbf36c3ac6
Merge branch 'master' into patch-2
.travis.yml