Penso di no, del resto sono due terminali diversi, chi cerca il redmi pro vuole spendere qualcosa in meno e forse avere lo schermo da 5.5. Speriamo comunque che venga ripreso il discorso. Secondo vuoi può essere utile sollecitare GS, eventualmente raccogliendo già delle adesioni qui sul forum?