Processed: Re: Bug#855273: diffoscope: fails to clean up after SIGTERM

2018-05-10 Thread Debian Bug Tracking System
Processing control commands: > close -1 Bug #855273 [diffoscope] diffoscope: fails to clean up after SIGTERM Marked Bug as done -- 855273: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=855273 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#855273: diffoscope: fails to clean up after SIGTERM

2018-05-10 Thread Mattia Rizzolo
Control: close -1 On Tue, Dec 05, 2017 at 06:55:02AM +0900, Chris Lamb wrote: > > > diffoscope: still fails to clean up after SIGTERM > > > > Can we reproduce this outside of Jenkins? Would really love a testcase > > so I can my teeth into this... > > Ping on this, Mattia? Would be great to eith