Please ignore, I was unaware of the debian-laptop list until just now; will re-post there. Thanks.
- pump: "no extra parameters are expected" Jim Breton
- Re: pump: "no extra parameters are expected" Jim Breton
- Re: pump: "no extra parameters are expected" Jim Breton