tree a3ca378cc00b4c31eac17e2cd3d41e178d5d6c47
parent fa735ff03feed221397188f3d6b761ebf6aaaec7
parent 03a6387524adf6e63b9a3794908100a0db4b8709
author Edwin Kempin <edwin.kempin@gmail.com> 1380549875 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1380549875 +0000

Merge "Extend Gerrit's top menu with plugin-owned entry"