Merge branch '2.0.x' into 2.1.x

2019-06-04 14:21:09 -07:00
parent 930d110178 7fc01971ed
commit 0ef331018e
31 changed files with 38 additions and 17 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