Package: ftp.debian.org Severity: normal Hi,
this request is overdue for some time. Hotkeys is upstream dead for some time and does not really work anymore with recent X. I failed to get someone interested in maintaining it. Therefore I think a removal would be the best solution. Thanks Alex -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
