From dcc92445a0bc3d9d47768ac0f640780f2b09a5fd Mon Sep 17 00:00:00 2001
From: Georg Ehrke <developer@georgehrke.com>
Date: Wed, 7 Aug 2013 11:51:08 +0200
Subject: [PATCH] allow permissions.user to be null as suggested by @butonic

---
 db_structure.xml | 2 +-
 lib/util.php     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/db_structure.xml b/db_structure.xml
index ef5de65303..4c192ba028 100644
--- a/db_structure.xml
+++ b/db_structure.xml
@@ -383,7 +383,7 @@
 				<name>user</name>
 				<type>text</type>
 				<default></default>
-				<notnull>true</notnull>
+				<notnull>false</notnull>
 				<length>64</length>
 			</field>
 
diff --git a/lib/util.php b/lib/util.php
index b7dc2207e6..dc13d31fd2 100755
--- a/lib/util.php
+++ b/lib/util.php
@@ -78,7 +78,7 @@ class OC_Util {
 	public static function getVersion() {
 		// hint: We only can count up. Reset minor/patchlevel when
 		// updating major/minor version number.
-		return array(5, 80, 05);
+		return array(5, 80, 06);
 	}
 
 	/**