Closed bjarthur closed 6 years ago
this PR to julia base provides built-in functionality similar to Logging.jl. would greatly appreciate your comments.
closing since that PR merged long ago, and has since been superseded
this PR to julia base provides built-in functionality similar to Logging.jl. would greatly appreciate your comments.