tree 57efd5b9a58e2d1ca7a4059a7ebe23f11f498621
parent c5d7bfd972009307d07c1f6f71ff655126393af7
parent 457d9849b520103bdb015e3d76481a70741875a7
author Dave Borowitz <dborowitz@google.com> 1430435867 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1430435869 +0000

Merge changes from topic 'submodule-subscription-tests-and-fixes-3'

* changes:
  SubmoduleOp: Change type of newSubscriptions to Set
  Submodule Subscriptions: Remove subscriptions by deleting .gitmodules