tree 851707966691cc8dacb1fb2e44c4dbe42a809a34
parent 14b6204e0f94f995bcaf01c3b81a133add246a54
parent 3d3877758ff1ad0ca700f8b431e98c74a397780c
author Edwin Kempin <edwin.kempin@gmail.com> 1437510447 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1437510447 +0000

Merge "Do plugin configuration in a plugin section in gerrit.config"