correction: ucr.edu [WAS: ...urgent contact at ucsd.edu (138.23.0.0/16)]

[Gadi Evron]

Gadi Evron wrote:
Thanks for your help, sorry for the OT post.
    Gadi Evron.
As a very nice guy pointed out to me:
The University of California San Diego (ucsd.edu) is 139.239.0.0/16, 
while 138.23.0.0/16 is University of California at Riverside (ucr.edu).

Sorry for the mistake. Make that Riverside.
	Gadi.