On Nov 22, 2005, at 19:52, Chip Salzenberg wrote:
On Tue, Nov 22, 2005 at 05:50:39PM +0000, Roger Browne wrote:
Why not use "," instead of "->"?Indeed. We shouldn't introduce "->" at this point, when we already use the perfectly serviceable comma for analogous cases.
Done, r10140. leo
