tree d5e1d2ebab1b2751b75d39de7f14a1e438b43135
parent 9dd7fe76e7e10f7dc47ca441018fe3d09cc18894
parent e95091c01aaf5e19f96ab21e8569780dc8ddc121
author Amy Zhang <amyjojo@google.com> 1562026491 +0000
committer Android (Google) Code Review <android-gerrit@google.com> 1562026491 +0000

Merge "Dump HdmiPortInfo port type"