Pierre-Yves David <pierre-yves.david@ens-lyon.org> [Wed, 04 Jan 2012 01:12:31 +0100] rev 15820
phases: fix phase synchronization on push
The bugs seemed to show up when element not in future common changeset should
hold new hold phase data.
The whole phase push machinery was rewritten in the process.