<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>tag 725168 +fixed-upstream</div>
<div>thanks</div>
<div> </div>
<div>Just discovered, that apparently this has already been reported and fixed upstream:</div>
<div>https://bugzilla.gnome.org/show_bug.cgi?id=702922 (Created commit 286ab97 in ews master (3.9.90+))</div></div></body></html>