commit | f424fa331e13d57e3a31ff44f1c4c75d372ec656 | [log] [tgz] |
---|---|---|
author | Peter Newman <peternewman@users.noreply.github.com> | Fri Dec 24 03:14:12 2021 +0100 |
committer | GitHub <noreply@github.com> | Fri Dec 24 03:14:12 2021 +0100 |
tree | edf3bf61aa96670fa5077d525ea56f5fb23bcc0a | |
parent | d8948ad56fcdb0fcf3d815d2490e461a5aeea2c0 [diff] | |
parent | db7b7187d276c70f7ce3bbe83183766c2b7f9944 [diff] |
Merge pull request #2200 from DimitriPapadopoulos/travis No need for Travis CI stuff