Diff

configure @ 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 11966:4c5087ce3c2e
child 12570:e6f68b6c87e1
child 12825:ee5fcfef5200
line wrap: on
line diff