From b3034a0e0c42d4a4c5fa952b385358f5d61a3e08 Mon Sep 17 00:00:00 2001
From: Markus Pfeiffer <markus.pfeiffer@morphism.de>
Date: Wed, 27 Jan 2016 20:52:52 +0000
Subject: [PATCH] Change InfoWarning to InfoObsolete in SetUserPreference

---
 lib/obsolete.gi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/obsolete.gi b/lib/obsolete.gi
index 906f3b8dcb..1fdf6f6c03 100644
--- a/lib/obsolete.gi
+++ b/lib/obsolete.gi
@@ -904,8 +904,8 @@ end);
 BindGlobal( "SetUserPreferences", function( arg )
     local name, record;
 
-    Info( InfoWarning, 1, "");
-    Info( InfoWarning, 1, Concatenation( [
+    Info( InfoObsolete, 1, "");
+    Info( InfoObsolete, 1, Concatenation( [
           "The call to 'SetUserPreferences' (probably in a 'gap.ini' file)\n",
           "#I  should be replaced by individual 'SetUserPreference' calls,\n",
           "#I  which are package specific.\n",