| Index: tools/push-to-trunk/common_includes.py
|
| diff --git a/tools/push-to-trunk/common_includes.py b/tools/push-to-trunk/common_includes.py
|
| index e4a04002e6625d7a1a143be6c700e644bdf9dea0..b4501136fb966d7b69b62a03ed63bbb15d9ab439 100644
|
| --- a/tools/push-to-trunk/common_includes.py
|
| +++ b/tools/push-to-trunk/common_includes.py
|
| @@ -215,6 +215,7 @@ DEFAULT_SIDE_EFFECT_HANDLER = SideEffectHandler()
|
| class NoRetryException(Exception):
|
| pass
|
|
|
| +
|
| class CommonOptions(object):
|
| def __init__(self, options, manual=True):
|
| self.requires_editor = True
|
|
|