tree d772e6cf8077fcfadd5b94442274595714671272
parent afd073f95ce5fea2334f5fbeca5322c76a58c068
parent 6dfe8cde2c6d78b6f84fa5be4e14e0cd60eb2a16
author Christopher Ferris <cferris@google.com> 1501355231 +0000
committer android-build-merger <android-build-merger@google.com> 1501355231 +0000

Merge "Update for v4.12.3 kernel headers."
am: 6dfe8cde2c

Change-Id: I9bf957357f35b995b000770689319a508e723510