20191216 city.hubballi: Hubballi's oldest swimming pool renovated; awaits inauguration