Commit 2ea40fdaac2a3b6ceabb02f17734d14831fd3470

Carlos Martín Nieto 2015-11-20T13:19:23

repository: distinguish sequencer cherry-pick and revert These are not quite like their plain counterparts and require special handling.