Closed jvdp1 closed 4 years ago
I think that's the version that you presented, correct?
Yes, it is.
Then I think we can simply merge it. Thanks for preparing this and giving the talk! It was great.
Yes, it is.