Skip to content

Move to counters instead of old-style Warning/Error

The following discussion from !667 (merged) should be addressed:

  • @jonrob started a discussion: (+1 comment)

    Not essential to be changed for this MR, but you should also in general migrate away from Warning(...) Error(...) etc. and instead use warning/error counters here as well.