diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2019-05-28 00:21:43 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2019-05-28 00:24:09 +0200 |
| commit | 03460fe3d2657c626d406e57d75f6f9c6fa4338e (patch) | |
| tree | e3ba35b5b36a47432c645b21e6ea509001816180 /debian/interimap.install | |
| parent | d385fd2817a96bc952b086533798bbf009d3d54f (diff) | |
tests: don't fail when a pid can't be killed.
(Usually on ESRCH.)
Diffstat (limited to 'debian/interimap.install')
0 files changed, 0 insertions, 0 deletions