[gpm]Bug report for GPM 1.20: gpm doesn't delete /var/run/gpm.pid file when it terminates unsuccessfully

[Nico Schottelius]

--0lnxQi9hkpPO77W3
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable


is fixed in 1.20.1. not your mistake.

Nico


/me still needs to announce 1.20.1 public soon


--=20
Please send your messages pgp-signed and/or pgp-encrypted (don't encrypt ma=
ils
to mailing list!). If you don't know what pgp is visit www.gnupg.org.
(public pgp key: ftp.schottelius.org/pub/familiy/nico/pgp-key)

--0lnxQi9hkpPO77W3
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org

iD8DBQE9LJtwtnlUggLJsX0RAi00AJ9AGbIMdQUBcFL3n8pQnDjLlWhmtACfTl95
ACzBGg5AYPfnqe6+X27O23I=
=UEWY
-----END PGP SIGNATURE-----

--0lnxQi9hkpPO77W3--