# HG changeset patch # User Christian Ebert # Date 1244395139 -7200 # Node ID 3f3c9472c0b66a20aca3a5e4ec7966ae79475b51 # Parent 353fad43ad990f0e71dcee2ddf224d37ca64187b# Parent 1ce04b8decf2a2b25e2b8ff5a1cb24fc492f8af7 (stable) merge for run-tests.py