On Sat, Nov 24, 2018 at 7:00 PM Matthew Wilcox <wi...@infradead.org> wrote: > > I pushed it out to hkps://hkps.pool.sks-keyservers.net ... as I recall, > pgp.mit.edu is frequently not synchronised well with the other keyservers, > but I'm surprised that one of the sks-keyservers didn't have it.
I got it now, so it was just some propagation delay or somethinig.
Thanks,
Linus
