Bug#659036: #659036 debian-keyring: Here's a patch. (Hint: the bug occurs about 1/256th of the time)

[Paul Vojta]

On Wed, Mar 01, 2017 at 11:50:22AM -0800, Paul Vojta wrote:
> Hi,
> 
> I'm fairly certain that I've found the bug.
> 
[snip]


Oops, never mind.  It's been recently fixed in https://bugzilla.gnome.org/show_bug.cgi?id=778357

After five years, scooped by just two days!

Paul Vojta