ah, i scanned an old assigned numbers rfc.  next time, i'll use

    grep -i assigned rfc-index.txt
    
(it's called ASSIGNED NUMBERS, not Assigned Numbers.  bleh.)

thanks, craig.

        peter

Reply via email to