On Fri, Apr 13, 2018 at 02:00:05PM -0400, Jeremy Bicha wrote: > Version: 2.20.1-1 > > The webkit2gtk developers believe this is already fixed in webkit2gtk > 2.20.1 which should reach Testing in a few days. Can this bug be closed then, or what's the situation? Berto