Merge remote-tracking branch 'origin/develop' into rate-app-counter

This commit is contained in:
Sean Mac Gillicuddy 2019-07-29 10:27:00 +01:00
commit 9e84413e04

View File

@ -4,6 +4,8 @@ jdk: oraclejdk8
sudo: required sudo: required
dist: trusty
env: env:
global: global:
# switch glibc to a memory conserving mode # switch glibc to a memory conserving mode