Comment 2 for bug 606028

Revision history for this message
Timo Westkämper (timo-westkamper) wrote :

Operators have now a String based identifier and a proper toString() implementation returning the String based id.