before-migrate
object 2d94bbfb87d2458bba9da28a7c7a237cc1537004
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 25 Jan 2012 16:46:31 +0000 (17:46 +0100)
checkpoint before adding migrations