20180529 city.bengaluru: Heritage buffs find 13th-century stone inscription in Bengaluru