Processed: (no subject)

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> unarchive 798533
Bug #798533 {Done: Mike Gabriel <sunweaver at debian.org>} [atril] atril: Case-sensitive search not working
Unarchived Bug 798533
> found 798533 atril/1.8.1+dfsg1-4
Bug #798533 {Done: Mike Gabriel <sunweaver at debian.org>} [atril] atril: Case-sensitive search not working
Marked as found in versions atril/1.8.1+dfsg1-4.
>
End of message, stopping processing here.

Please contact me if you need assistance.
-- 
798533: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=798533
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems