If note N1 covers note N2 then N1 and N2 won't be shown together in an error message. Instead we show the note that's strictly better in terms of the "covers" partial ordering, or, if there's no strict wionner, the first added note.
If note N1 covers note N2 then N1 and N2 won't be shown together in an error message. Instead we show the note that's strictly better in terms of the "covers" partial ordering, or, if there's no strict wionner, the first added note.
