[GitHub] trafodion pull request #1423: Merge pull request #1 from apache/master

[fuentead]

Github user fuentead closed the pull request at:

    https://github.com/apache/trafodion/pull/1423


---