Comment 5 for bug 680143

Revision history for this message
Timo Aaltonen (tjaalton) wrote :

I looked at the patch and meant to send it upstream, but I noticed that it conflicts with "≤" and "≥", so you don't actually get the double arrows with the patch.