20181120 city.bengaluru: Karnataka government concerned about 100 holidays a year; forms panel to trim number