Sun, 17 Jun 2018 00:33:43 +0200 Pierre-Yves David rewind: update the working copy if it gets obsoleted
Sun, 17 Jun 2018 01:04:20 +0200 Pierre-Yves David rewind: add a message about obsolete changeset
Sun, 17 Jun 2018 00:15:18 +0200 Pierre-Yves David rewind: obsolete latest successors unless instructed otherwise
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip