tags 355368 fixed-upstream thanks Jim Meyering wrote:
Thanks. I've defined $SHELL, but only if it's not already set. Then, we'll get slightly better coverage via people running with different shells. But I'm not sure that's a benefit :-)
That's probably the best solution, it seems.
Thanks,
Sven
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
