> Date: Tue, 8 Mar 2011 14:41:00 -0500
> From: DJ Delorie <[email protected]>
> CC: [email protected], [email protected],        
> [email protected], [email protected]
> 
> 
> I see no harm in having both, for completeness, though.

I don't see any need for completeness in this case.  But it's your
call.  I still think that the documentation should be fixed, though.

Reply via email to