Merge branch 'master' into dev

This commit is contained in:
Norbi Peti 2017-07-04 00:14:55 +02:00 committed by GitHub
commit a401eaac11

View file

@ -1,3 +1,4 @@
language: java
jdk:
- oraclejdk8