Fix publish release notes script

See gh-14857
pull/14914/head
Madhura Bhave 6 years ago
parent 54966bea6f
commit 3a7101233f

@ -4,6 +4,7 @@ set -e
source $(dirname $0)/common.sh
version=$( cat version/version )
milestone=$( echo $version )
if [[ $RELEASE_TYPE = "RELEASE" ]]; then
milestone=${version%.RELEASE}
fi

Loading…
Cancel
Save