Merge "reverting to jdk8 build server"
authorAndrew Fenner <Andrew.Fenner@est.tech>
Fri, 16 Aug 2019 14:58:38 +0000 (14:58 +0000)
committerNordix Gerrit <gerrit@nordix.org>
Fri, 16 Aug 2019 14:58:38 +0000 (14:58 +0000)

Trivial merge