Merge branch 'dev' into 'dev'

Dev sync

See merge request kostikov/core!1

1 files changed, 1 insertions, 1 deletions

diff --git a/boot.php b/boot.php
index a6aa74ca7..b722048a9 100755
--- a/boot.php
+++ b/boot.php
@@ -50,7 +50,7 @@ require_once('include/attach.php');
 require_once('include/bbcode.php');
 
 define ( 'PLATFORM_NAME',           'hubzilla' );
-define ( 'STD_VERSION',             '4.7.12' );
+define ( 'STD_VERSION',             '5.1' );
 define ( 'ZOT_REVISION',            '6.0' );
 
 define ( 'DB_UPDATE_VERSION',       1238 );