20191024 city.puducherry: Puducherry: Govt holiday on October 28; bonus announced