tree df7454025975c28f0065453603ad9255898222c7
parent 745311d1500046a9b3fbcc10a3863cece76805e8
parent 2a0beab47622e79fe95e4a1486a6f824ad9a4d76
author David Pursehouse <dpursehouse@collab.net> 1524248462 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1524248462 +0000

Merge "Document that some properties in gerrit.config supports reload"