20180104 city.bengaluru: Noted educationist Pinto passes away