snoyberg Merge pull request #129 from roman/improve-logging-documentation
Improve documentation of logOptionsHandle
Latest commit 5bf1d5e Aug 23, 2018