Changes between Version 1 and Version 2 of Ticket #3145, comment 38


Ignore:
Timestamp:
02/01/17 18:31:15 (8 years ago)
Author:
mooffie
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #3145, comment 38

    v1 v2  
    1919> I'm not sure if we should address irrelevant warnings, though. 
    2020  
    21 We should. They dominate the output and make it hard to develop. Now there are only two (or three) warnings. 
     21We should. They dominate the output and make it hard to develop. Now there are only two (or three) warnings (EDIT: no, I believe those two are emitted when compiling slang, not mc, so, indeed, they're utterly irrelevant to us.)