Wireshark-dev: Re: [Wireshark-dev] Ping-Bug?
From: Jeff Morriss <jeff.morriss.ws@xxxxxxxxx>
Date: Fri, 01 Aug 2014 20:32:08 -0400
On 08/01/2014 06:52 PM, Gerald Combs wrote:
Until a few minutes ago any time "bug" followed by a number appeared in
the commit message Gerrit would add a comment and close it. The specific
JavaScript RE was "\b[Bb]ug:?\s*#?(\d+)\b".

Ah, OK, I could have sworn I had seen it working before. Maybe I was just hallucinating...