GitHub user PierreSmits opened a pull request:
https://github.com/apache/trafodion/pull/1709
[TRAFODION-3200] correct label and version
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/PierreSmits/trafodion master
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/trafodion/pull/1709.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #1709
----
commit 1b58771d75bcf267574d6588877c8672d64a44d8
Author: Pierre Smits <pierre@...>
Date: 2018-09-08T09:09:28Z
[TRAFODION-3200] correct label and version
----
---
