20160723 city.bengaluru: HC asks govt; agencies to fix potholes; repair roads