Don’t ignore mini-stroke, even if symptoms disappear, warn Bengaluru doctors