Merge branch '18513-log-signal-exit'
authorTom Clegg <tom@curii.com>
Tue, 18 Jan 2022 18:51:16 +0000 (13:51 -0500)
committerTom Clegg <tom@curii.com>
Tue, 18 Jan 2022 18:51:16 +0000 (13:51 -0500)
commitdd056538060528e6f7b7b48183dfcaeac7882638
treeab468f7ee661e4ac9775f25735591cf649f657b1
parent736e7cb4e93b2e8fbb7d8ed0948bb11ddd5f065b
parent3b9c4641a985a53347696b7a77bcde28a92d6e79
Merge branch '18513-log-signal-exit'

closes #18513

Arvados-DCO-1.1-Signed-off-by: Tom Clegg <tom@curii.com>