Index: library/Zend/Http/UserAgent/Bot.php
===================================================================
--- library/Zend/Http/UserAgent/Bot.php	(Revision 23520)
+++ library/Zend/Http/UserAgent/Bot.php	(Arbeitskopie)
@@ -64,6 +64,7 @@
         'gigabot',
         'girafabot',
         'google',
+        'htdig',
         'infoseek',
         'inktomi',
         'java',