On Mon, May 04, 2020 at 08:37:11AM +1000, Dmitry Smirnov wrote: > On Monday, 4 May 2020 6:31:04 AM AEST Moritz Mühlenhoff wrote: > > seekwatcher seems dead upstream, let's remove? > > Sure. What else could we do? Thanks.
Ack, I've just filed an RM bug. Cheers, Moritz