STADEN QUESTION! gap4sh in 2001

[Simon Andrews]

> > exec gap4sh -f "$0" ${@+"$@"} || exit 1
> 
> Try replacing gap4sh with stash and it'll work.

Indeed it does.  Everything is working again.

Thanks

Simon.