commit | 122b4ac2a7d4fc844ca20395f0c358b0b04d8d8d | [log] [tgz] |
---|---|---|
author | Antoine Toulme <atoulme@users.noreply.github.com> | Fri Apr 03 08:11:03 2020 -0700 |
committer | GitHub <noreply@github.com> | Fri Apr 03 08:11:03 2020 -0700 |
tree | 860c143fefe93f023d431f3087d28a8ed1536136 | |
parent | 7fb26a35bb2b8c4e4a0b8f3ba7755cf1b6dc078f [diff] | |
parent | 5b285d33d8c77c32dc2a702fc18ef6d1586c4845 [diff] |
Merge pull request #48 from olleolleolle/travis-settings CI: Pick OpenJDK8, which exists