chiark
/
gitweb
/
~ianmdlvl
/
fdroidserver.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
d11135b
5de678e
)
Merge branch 'jdk8' into 'master'
author
Hans-Christoph Steiner
<hans@guardianproject.info>
Tue, 21 Jun 2016 14:02:19 +0000
(14:02 +0000)
committer
Hans-Christoph Steiner
<hans@guardianproject.info>
Tue, 21 Jun 2016 14:02:19 +0000
(14:02 +0000)
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
Trivial merge