tree 2b0c5b3775ed7348b6c11b412eabfc6c9f6591c7
parent 8a4a7f2c335bc07f8e30d30b1c44a4080ff9bbfb
parent 4797b7c107df2215d850487f5d9f239bf69f2044
author Nick Chalko <nchalko@google.com> 1569872565 +0000
committer Android (Google) Code Review <android-gerrit@google.com> 1569872565 +0000

Merge "Use HdmiProperties class for ro.hdmi.device_type"