From 854c952cfb4f038b91571fab848796f9b2b7f9f5 Mon Sep 17 00:00:00 2001
From: Pieter de Bie <pdebie@ai.rug.nl>
Date: Sun, 17 Aug 2008 14:04:38 +0200
Subject: [PATCH] Require configspace in user plugin

---
 plugins/user.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/user.rb b/plugins/user.rb
index e285bb6..0b06845 100644
--- a/plugins/user.rb
+++ b/plugins/user.rb
@@ -3,7 +3,7 @@
 #
 
 require 'digest/sha1'
-
+require 'configspace'
 
 # Neat array stuff.
 class Array