Is PR database updated?

[Marcus von Appen]

Mark Linimon <linimon at lonesome.com>:

> On Fri, Nov 16, 2012 at 08:13:47AM +0100, Fernando Apesteguía wrote:
>> Is there some problem with the PR database?
>
> The web part of the database is not updating.  We are working on it.

Wouldn't it make sense to add that information temporarily to the  
GNATS-Webpage(s),
so we avoid further confusion and requests? Or is the problem fixed in  
the next
few hours? :-)

Cheers
Marcus