On Mon, May 25, 2020 at 02:59:08PM +0200, Michael Kerrisk (man-pages) wrote: > misc-utils/kill.1 | 25 ++++++++++++++++--------- > 1 file changed, 16 insertions(+), 9 deletions(-) All 5 patches applied. -- Karel Zak <kzak@xxxxxxxxxx> http://karelzak.blogspot.com
