Luigi undoredo1

We are aware the undoredo1 is failing and have identified the commit from @nicolas.vuaille causing it. No fixes yet.