tree fed38eba71cbf4c54f58285a92200aa5f138134d
parent fd1c6e7539a2644cf9423160f149d7e70b0e05e1
parent aeb110ce39e8aa7917979927fad56b828701e797
author Nick Kralevich <nnk@google.com> 1430006389 +0000
committer Android Git Automerger <android-git-automerger@android.com> 1430006389 +0000

am aeb110ce: am e05487ac: init.te: Don\'t allow mounting on top of /proc

* commit 'aeb110ce39e8aa7917979927fad56b828701e797':
  init.te: Don't allow mounting on top of /proc