[GITLAB] - UPGRADE TO v12 on Wednesday the 18th of December at 11.30AM

  • Cedric Roux's avatar
    add a filter to loggers · 72f56da6
    Cedric Roux authored
    events are accepted by the logger if the filter accepts them
    the filter is optional (no filter means to accept all events)
    72f56da6
logger_defs.h 272 Bytes