On Thu, Jul 16, 2009 at 07:23:28AM -0400, John Peacock wrote:

> I'm still undecided on "dotted-decimal" versus "dotted-integer" however...

+1 for "dotted-integer".

Marvin Humphrey

Reply via email to