[Bug web/94351] bugzilla search is not as useful as before

[LpSolit at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94351

Frédéric Buclin <LpSolit at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #5 from Frédéric Buclin <LpSolit at gmail dot com> ---
Template-Toolkit has been upgraded to 3.007. Problem fixed.