On Mon, 2005-12-05 at 14:37 -0500, David Zeuthen wrote: > On Sat, 2005-12-03 at 20:10 +0000, Richard Hughes wrote: > > David, does this simple patch look okay? > > Looks good to me, thanks! Applied, Paul, you should be able to use CVS HAL and get the correct options in g-p-m now. Thanks for the heads-up. Richard.