Merge tag 'android_7.1.2_r36' of https://android.googlesource.com into HEAD#5

Open

gesangtome wants to merge 1 commit intomultirom-dev:android-7.1from gesangtome:android-7.1

+1-1

Commits on Feb 6, 2018

Merge tag 'android_7.1.2_r36' of https://android.googlesource.com into HEAD
gesangtome
committed