chiark / gitweb /
Merge branch 'jdk8' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Tue, 21 Jun 2016 14:02:19 +0000 (14:02 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Tue, 21 Jun 2016 14:02:19 +0000 (14:02 +0000)
commit063d581b71d06b108e4e6fbe98c2bc20b7dd4855
tree9e8b2b3b1207950dbb8ebfc1506f762e4bb90bdb
parentd11135b44173adb25f3e3f50cb3888019a7f4fa6
parent5de678e48be2be53f4e32bea125011d44cb9e8f1
Merge branch 'jdk8' into 'master'

all: switch to jdk8 as default

@eighthave this will probably require some action on the jenkins machine to replace jdk7 with jdk8.

Any thoughts @CiaranG?

See merge request !137