| commit | 59f8df6cbac99a0147c460b614c14c074481ca73 | [log] [tgz] |
|---|---|---|
| author | Arjan Tijms <arjan.tijms@gmail.com> | Thu Jan 23 18:05:42 2020 +0100 |
| committer | GitHub <noreply@github.com> | Thu Jan 23 18:05:42 2020 +0100 |
| tree | 4f8cd888294ead4277b422e71d13dcdf754c22c7 | |
| parent | 9857ab19b3e409722b257ce1337b61a5cc681202 [diff] | |
| parent | e93cce9a68c3e0320ca5740a2cd9d1f18648c791 [diff] |
Merge pull request #22882 from arjantijms/gf5build3 New infra - setting maven options