diff -r 058bb3dc685f -r 0b59724cb3f2 misc/migration/3.13.0_Any.py
--- a/misc/migration/3.13.0_Any.py	Mon Jan 04 18:40:30 2016 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,3 +0,0 @@
-sync_schema_props_perms('cw_source', syncprops=False)
-if schema['BigInt'].eid is None:
-    add_entity_type('BigInt')