tree 44b9d75f91c8d92db8d5ab86c7960b9b4f695253
parent 37ed4b872fdbf027adad0c5318d4dc716ecfc0a1
parent 77f23241e3bd4f85db95d84905fd700452691cdb
author David Pursehouse <david.pursehouse@sonymobile.com> 1380613687 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1380613687 +0000

Merge "Allow plugins to add menu items in Gerrit's top menu entries"