tree 82fd747877c8925e7d00770593e65b1ac4a5a153
parent 3f99e4e96f85f28b0b6023b62321d7ec8f725683
parent 196d4494bb09e29f45867da604135589d9b374c8
author Dave Borowitz <dborowitz@google.com> 1464274652 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1464274652 +0000

Merge changes from topic 'notedb-reviewers'

* changes:
  Include reviewers when rebuilding NoteDb
  Extract a type for sets of reviewers, and store timestamp