| Index: tools/get_archive.py
 | 
| diff --git a/tools/get_archive.py b/tools/get_archive.py
 | 
| index 409d14741d2c3a6b9938bb5216bd84267bb55627..7517f54de1dcc797bbb087b0dbc28f2165ab33be 100755
 | 
| --- a/tools/get_archive.py
 | 
| +++ b/tools/get_archive.py
 | 
| @@ -132,7 +132,7 @@ def GetDartiumRevision(name, bot, directory, version_file, latest_pattern,
 | 
|          result, out = Gsutil('ls', permanent_prefix % {'osname' : osname,
 | 
|              'num1': the_revision_num, 'num2': '*', 'bot': bot })
 | 
|          if result == 0:
 | 
| -          # First try to find one with the the second number the same as the
 | 
| +          # First try to find one with the second number the same as the
 | 
|            # requested number.
 | 
|            latest = out.split()[0]
 | 
|            # Now test that the permissions are correct so you can actually
 | 
| 
 |