[php-maint] Bug#770163: Bug#770163: Bump the priority on this bug?

Wed Nov 19 19:41:35 UTC 2014

On 11/19/2014 12:28:35 PM, Thijs Kinkhorst wrote:
> On Wed, November 19, 2014 18:01, Karl O. Pinc wrote:
> > Hi,
> >
> > Any way to get the priority on this bug bumped?
> > The emails every 30 minutes are very annoying.
> 
> What do you mean bump the priority? The bug has been fixed early this
> morning already.

Yes.  Thanks very much.

My hosting provider is mirroring security.debian.org
so I didn't see the fix.  It was only marked fixed
in the bts after I looked.  It seems we crossed
paths; I wrote about 5 minutes after the bug was marked
fixed.

Karl <kop at meme.com>
Free Software:  "You don't pay back, you pay forward."
                 -- Robert A. Heinlein