Closed butson closed 1 year ago
@rshaull @adriansuarez @kontaras What is the status of this PR? Is it ready for merge?
@eresende-nuodb: I'm fine with merging these changes.
There was one line that looked wrong to me, but otherwise, I am fine with the code being merged.
@rshaull @adriansuarez @kontaras What is the status of this PR? Is it ready for merge?