PR machine broken?

[Sam Lawrance]

On Mon, 2005-08-01 at 10:20 -0500, Paul Schmehl wrote:
> I submitted an update to x11-toolkits/iwidgets over the weekend.  I have 
> still not received the obligatory bot response.  I'm also having no luck 
> querying the PRs for anything I've submitted recently.
> 
> Is the PR machine broken?

Hmm.  Well, it's there:

                           Subject: 
ports/84369: new port,
x11-toolkits/iwidgets, replacement
for existing port, *not* a patch