20021216 city.bengaluru: Forest to be denotified for mining