A fix for the above bug:
removePidSuffix relies on patch ids order (see local functions before and beforeM),
so each time we run updatePatchIndexOnDisk we wrongly remove a LOT of stuff.
1 patch for repository http://darcs.net:
patch d4c048973c03f929f544600f1661fc1d50eef3e0
Author: Guillaume Hoffmann <guillaumh@gmail.com>
Date: Thu Dec 11 21:01:03 ART 2014
* patch index: adapt removePidSuffix to the new order of pids