diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php
index 49376288a78ab..d482127cf4034 100644
--- a/lib/db/upgrade.php
+++ b/lib/db/upgrade.php
@@ -2927,5 +2927,18 @@ function xmldb_main_upgrade($oldversion) {
         upgrade_main_savepoint(true, 2014011701.00);
     }
 
+    if ($oldversion < 2014012300.01) {
+        // Remove deleted users home pages.
+        $active = $DB->get_fieldset_select('user', 'id', 'deleted = ?', array(0));
+        list($insql, $params) = $DB->get_in_or_equal($active, SQL_PARAMS_QM, 'param', false);
+        $sql = 'DELETE FROM {my_pages}
+                WHERE userid ' . $insql;
+
+        $DB->execute($sql, $params);
+
+        // Reached main savepoint.
+        upgrade_main_savepoint(true, 2014012300.01);
+    }
+
     return true;
 }
diff --git a/version.php b/version.php
index 71015a71cc4b8..241b975527dd7 100644
--- a/version.php
+++ b/version.php
@@ -29,7 +29,7 @@
 
 defined('MOODLE_INTERNAL') || die();
 
-$version  = 2014012300.00;              // YYYYMMDD      = weekly release date of this DEV branch.
+$version  = 2014012300.01;              // YYYYMMDD      = weekly release date of this DEV branch.
                                         //         RR    = release increments - 00 in DEV branches.
                                         //           .XX = incremental changes.