On Wed, 13 Dec 2017, Antony Antony wrote: > not automatically! not using single command either. However, creating a diff > and applying it soon after the accident seems easy to do. As there are more > commits on the top single patch may get harder. > > Here is one patch that revert everything that came through the merge. Thanks, I did that for now. Paul