Skip to content
Snippets Groups Projects
user avatar
Iustin Pop authored
This is not needed anymore - the original change was more than a year
ago when masterd was in its incipient phase.

Signed-off-by: default avatarIustin Pop <iustin@google.com>
Reviewed-by: default avatarMichael Hanselmann <hansmi@google.com>
834f8b67