chiark / gitweb /
Merge branch 'java-home-lookup' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Tue, 9 Aug 2016 15:44:06 +0000 (15:44 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Tue, 9 Aug 2016 15:44:06 +0000 (15:44 +0000)
Fix JDK lookup

Fix two cases when JDK path lookup could fail (found those issues on my Fedora 24 box).

See merge request !153

1  2 
fdroidserver/common.py

Simple merge