diff -r 287a05ec7ab1 -r af4b93bc38a5 misc/migration/3.19.0_Any.py
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/misc/migration/3.19.0_Any.py	Tue Jan 21 18:20:28 2014 +0100
@@ -0,0 +1,2 @@
+sql('DROP TABLE "deleted_entities"')
+sql('ALTER TABLE "entities" DROP COLUMN "mtime"')