Merge branch '2.1.x'

2019-06-04 14:31:57 -07:00
parent e06325e029 0ef331018e
commit db75347eb6
36 changed files with 45 additions and 39 deletions
--- a/ci/scripts/detect-jdk-updates.sh
+++ b/ci/scripts/detect-jdk-updates.sh
@@ -43,4 +43,4 @@ if [[ ${existing_jdk_issues} = "" ]]; then
 	POST "https://api.github.com/repos/${GITHUB_ORGANIZATION}/${GITHUB_REPO}/issues" > /dev/null || { echo "Failed to create issue" >&2; exit 1; }
 else
 	echo "Issue already exists."
-fi
+fi