Re: bash-completion scripts to /usr/share bugs filed today