[PATCH 0/3] Misc dumper improvements

[Jon Turney]

Jon Turney (3):
  Cygwin: Add --nokill dumper option
  CYgwin: Remove synchronization event from dumper
  Cygwin: Speed up dumper

 winsup/doc/utils.xml   |  9 ++++++---
 winsup/utils/dumper.cc | 41 +++++++++++++++++++++--------------------
 2 files changed, 27 insertions(+), 23 deletions(-)

-- 
2.27.0