[Update 12:00] UCSD engineers restored the previous configuration and records have returned. If you have issues, please contact SDSC Support Yesterday records pointing to SDSC-hosted systems were erroneously removed from UCSD DNS. Engineers are working with campus to address the problem.
