chiark / gitweb /
with-authinfo-kludge: Fix race between `setpgrp' and `kill'.
-rwxr-xr-x 28969 with-authinfo-kludge
-rw-r--r-- 15896 with-authinfo-kludge.1