tree 04d2e04090422ff0b5eaf02563bdd644740009ea
parent 78b82726c2ea23186b890c1e2ece92b58624e85f
parent 2fcd623b9e41e5fae6872803503b0f025f0e0d63
author Arjan Tijms <arjan.tijms@gmail.com> 1562958656 +0200
committer GitHub <noreply@github.com> 1562958656 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJdKNtACRBK7hj4Ov3rIwAAdHIIADFcPC/Ao202SvhKQHgpK5zQ
 uMCr8fOY01izDggO1HVVHP4eKUvW5QwYCkIbo0+8xACMdCH3O7Jk9n1LFiokNeta
 3F5p1MKmU0KXaxEL6JYchCQ/9Fhj3tYw06vrNiBA6NmW9tEsUfzxr2xCBYQvMhoY
 dAJ5SaIqj0HKwJrO5pLLZcBx9nduBRo1+AtmBdPvV3e2lSLb3rTbpkEnZt8TuRgG
 3PU4ZUF8ElEZvFJk0ROfZB+Ew/RlFoGyHxqfjEpAJgFNonxVsVqr6FeFpha+Nfi1
 b5ol87Au1DFZ0LFDiBDVzjOT6rWu5uTVCX175pmAcxHnLAOwqc/ap63KsUAGmJM=
 =ARZO
 -----END PGP SIGNATURE-----
 

Merge pull request #90 from arjantijms/master

Set javadoc source level explicitly.