Comment 8 for bug 1832160

Revision history for this message
Romain Couturat (romaincout) wrote :

Can we reconsider the importance of this bug ?
The discrepancy is frustrating and can be unnecessarily time consuming