tree d7869f71019f883b4d285b4e22ebed83e8edcebd
parent 850d75c04fdc0d75533c318dfd1c92e9bd9d5e06
parent eb9b964c1d195b6cbae101cf935bd0b9cfb0d212
author bigbiff bigbiff <bigbiff@teamw.in> 1495670723 +0000
committer Gerrit Code Review <gerrit2@gerrit.twrp.me> 1495670723 +0000

Merge "Add device page for Xiaomi Mi 5s"