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

[Gadi Evron <ge () linuxbox org>]

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.