GitHub user robertamarton opened a pull request:
https://github.com/apache/trafodion/pull/1669
Fix for TRAFODION-3112
Internal error: get ... for user/role
Heading incorrect for libraries
Parser error: get procedures/table_mapping functions/functions for user/role
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/robertamarton/incubator-trafodion get_fixes
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/trafodion/pull/1669.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 #1669
----
commit 3d013bc2adb46d139ee027a6c878e8ec2c4d5f5a
Author: Roberta Marton <roberta.marton@...>
Date: 2018-07-30T22:51:13Z
Fix for TRAFODION-3112
Internal error: get ... for user/role
Heading incorrect for libraries
Parser error: get procedures/table_mapping functions/functions for user/role
----
---