Comment 12 for bug 2048977

Revision history for this message
Juerg Haefliger (juergh) wrote :

Do we need to revert the commits in Mantic as well?