Xiaomi Redmi Note 5 discontinued in India? Company says no

Xiaomi Redmi Note 5 discontinued in India? Company says no