It’s official: Andhra Pradesh govt. undoes name change of NTRUHS to YSRUHS