0.7.2

• Synchronisation - Fix a bug when the same object was updated for the same column between clones
• Deploy algs - Fix a recent regression in the deploy algs (after replacing reportError by pushInfo)