Commit 24d175621b7ca6a218c7150ac47ea296f0766fa4

Edward Thomson 2018-07-27T16:40:44

ci: remove unused old ci scripts