Closed giovanni-rosotti closed 7 years ago
I think the last commits fix all the problems left in this branch. It should now be ready to be merged I believe.
Assuming this last fix runs ok, I think this branch is now ready...
Great to hear. David, it's up to you to say if this is ready given that both me and Richard were involved with it.
Sure, will have a look at it now.
Combines #100, #107 and #113 (see there for the discussion). I still have to fix a couple of things before we can accept it