android-7.1.2_r0.25

initial-contribution@android.com

80c83720 · Merge additional July 2017 security update. · May 19, 2017

Android 7.1.2 Release 0.25