>From Michael Blow <[email protected]>: Michael Blow has submitted this change. ( https://asterix-gerrit.ics.uci.edu/c/asterixdb/+/18139 )
Change subject: Merge branch 'gerrit/7.1.x' into 'gerrit/neo' ...................................................................... Merge branch 'gerrit/7.1.x' into 'gerrit/neo' Change-Id: I2be5995115bf5093d3bd339b69f140f1de4e0ccd --- 1 file changed, 15 insertions(+), 0 deletions(-) Approvals: Michael Blow: Looks good to me, approved; Verified -- To view, visit https://asterix-gerrit.ics.uci.edu/c/asterixdb/+/18139 To unsubscribe, or for help writing mail filters, visit https://asterix-gerrit.ics.uci.edu/settings Gerrit-Project: asterixdb Gerrit-Branch: neo Gerrit-Change-Id: I2be5995115bf5093d3bd339b69f140f1de4e0ccd Gerrit-Change-Number: 18139 Gerrit-PatchSet: 1 Gerrit-Owner: Michael Blow <[email protected]> Gerrit-Reviewer: Jenkins <[email protected]> Gerrit-Reviewer: Michael Blow <[email protected]> Gerrit-MessageType: merged
