aboutsummaryrefslogtreecommitdiff
path: root/contrib/coverage.sh
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2020-01-20 12:10:44 +0100
committerChristian Grothoff <christian@grothoff.org>2020-01-20 12:10:44 +0100
commit52797133a472266c9e06fb5f66bd8793e443bd7e (patch)
tree0852b2d8d445fd22c58c9f6900fb30f94cfbc0e5 /contrib/coverage.sh
parent8a4201c43bd70032eecfeaa41a5d0b56a391c66a (diff)
fix signal initialization race on startup with shutdown
Diffstat (limited to 'contrib/coverage.sh')
0 files changed, 0 insertions, 0 deletions