<div dir="ltr">And it would be nice if people would actually check for duplicate bug reports.<div><br></div><div>Or won't report bugs if there's more recent version uploaded...</div><div><br></div><div>At least those people who use *unstable* should know such stuff...</div>

<div><br></div><div>Ondrej, closing yet another duplicate bug report already fixed in -12.</div>‚Äč</div>