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

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.