tree e4947527f41514ad5b12b9f12c52e4cc605de3d3
parent 6fcbec43be7a43cacebf53769216243d8d13dd7d
author Davide Garberi <dade.garberi@gmail.com> 1587746669 +0200
committer Davide Garberi <dade.garberi@gmail.com> 1587746699 +0200

Update Redmi Note 6 Pro maintainer

Change-Id: I0a5d9dd12f418a994e41259421016f04c739285d