tree 7b6e1516747759840f7a8aa1801f73ba35c06fb4
parent 82bdd796e1265bd0e4b0497e9bed1d0cafc9883b
parent f25304ee8472c48e7cacdda10b950827017e5cf9
author Nick Kralevich <nnk@google.com> 1444854219 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1444854219 +0000

Merge "neverallow: domain:file execute and entrypoint"