1 files changed, 2 insertions, 0 deletions

diff --git a/error.py b/error.py
index e3cf41c1..029e1227 100644
--- a/error.py
+++ b/error.py
@@ -64,3 +64,5 @@ class RepoChangedException(Exception):
      repo or manifest repositories.  In this special case we must
      use exec to re-execute repo with the new code and manifest.
   """
+  def __init__(self, extra_args=[]):
+    self.extra_args = extra_args