Hi, Just noticed that these pull requests were merged just now. So whatever hiccup was happening has now completed.
Dave -----Original Message----- From: Dave Birdsall <[email protected]> Sent: Monday, November 19, 2018 10:25 AM To: [email protected] Subject: Merges seem to be going slow External 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
