From: Witold Krecicki <wpk@isc.org>
Date: Tue, 21 Jan 2020 10:04:07 +0000 (+0000)
Subject: Merge branch 'wpk/fix-taskmgr-pause-unpause-detach-race' into 'master'
X-Git-Tag: v9.16.0~56
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bb061abbb9f6da969db9e207bcaa1946cabdfcf0;p=thirdparty%2Fbind9.git

Merge branch 'wpk/fix-taskmgr-pause-unpause-detach-race' into 'master'

Fix a race in taskmgr between worker and task pausing/unpausing.

Closes #1571

See merge request isc-projects/bind9!2918
---

bb061abbb9f6da969db9e207bcaa1946cabdfcf0