tree 2eeb95bb460fc1fae52a1f85a32b7a2e9aa663bd
parent 08667cc9c12664cfcc69faf831e8cab878cc04b6
parent b50a276379dd21944c40a74aa96952dfbb064672
author Treehugger Robot <treehugger-gerrit@google.com> 1539701313 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1539701313 +0000

Merge changes I66e40b4b,I599a2ff9,I7c210623

* changes:
  [PT16] Simplification of sendProxyBroadcast.
  [PT15] Tiny bugfix in setGlobalProxy
  [PT14] No-op refactoring of sendProxyBroadcast