diff options
author | 2018-03-12 09:12:41 -0700 | |
---|---|---|
committer | 2018-03-12 09:16:44 -0700 | |
commit | 6d3bb6cac26684a2553a7a9fa04dd5b12f5434f3 (patch) | |
tree | fb1b8e5a1a55d33ff3d8d9ec9bc31ebd059d13b1 /SECURITY.md | |
parent | e1066ba1a4166ba5ff7ca02ae70e5c44fc385789 (diff) |
Don't remove identity nodes if they follow a device crossing and have consumers on a device different than themselves. They may be used to cache or route data between devices in a deliberate manner.
Simplify code in DependencyOptimizer a bit.
PiperOrigin-RevId: 188730185
Diffstat (limited to 'SECURITY.md')
0 files changed, 0 insertions, 0 deletions