]> git.ipfire.org Git - thirdparty/kea.git/commitdiff
[master] TimerMgr dtor no longer emits log statements
authorThomas Markwalder <tmark@isc.org>
Wed, 23 May 2018 18:20:55 +0000 (14:20 -0400)
committerThomas Markwalder <tmark@isc.org>
Wed, 23 May 2018 18:20:55 +0000 (14:20 -0400)
    Merges in 5626.


Trivial merge