Diff

makefile @ 12395:1e34b910b73a

util.logger: Return sink_function from add_simple_sink() This allows a simple sink to be later removed via remove_sink()
author Matthew Wild <mwild1@gmail.com>
date Thu, 17 Mar 2022 10:20:23 +0000
parent 12313:469e4453ed01
child 12465:4a087713cffe
line wrap: on
line diff