chiark / gitweb /
ssh-agent-shell: Sigh. The sense of the $SSH_AGENT_PID check was exactly
[bin.git] / get-bug-mbox
1 #! /bin/sh
2 wget "http://bugs.debian.org/mbox:$1" -O "$1.mbox"