From af2c968bd23e68221032acccf3bdfba22eb573ed Mon Sep 17 00:00:00 2001
From: Pierre Habouzit <madcoder@debian.org>
Date: Thu, 11 Sep 2003 16:14:53 +0000
Subject: [PATCH] bad identifier

---
 philter/philter/include/form_filter.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/philter/philter/include/form_filter.inc.php b/philter/philter/include/form_filter.inc.php
index 1e6a5d7..fdecc4e 100644
--- a/philter/philter/include/form_filter.inc.php
+++ b/philter/philter/include/form_filter.inc.php
@@ -32,7 +32,7 @@ require("include/js_factory.inc.php");
 <br />
 <div class="rubrique"><?php i18n('pool_title'); ?></div>
 <?php
-i18n('small_pool_help');
+i18n('spool_help');
 echo $mail_pool->to_small_form();
 ?>
 <br />
-- 
2.1.4