Hi, Just a heads-up: I've merged three pull requests this morning into Trafodion master (#1743, 1744 and 1745) but the merge infrastructure has not reported them as merged yet. So something is hung up somewhere. Will wait to see if it resolves on its own.
Dave
