commit | 524f40bd17a51315755a825a8806cc4675f789f3 | [log] [tgz] |
---|---|---|
author | Peter Donald <peter@realityforge.org> | Mon Jul 15 06:44:45 2019 +1000 |
committer | GitHub <noreply@github.com> | Mon Jul 15 06:44:45 2019 +1000 |
tree | 4a8dca1ae2d9c19c49908199292d910f2522267b | |
parent | 8d560b48b9c25ef056732f8260ecefc7c16ad6e9 [diff] | |
parent | 44894d7a0cc76bb5d835b8081f8750bd7cda270a [diff] |
Merge pull request #44 from olleolleolle/patch-1 CI: Drop unused sudo: false directive