comparison mx/sanitycheck.py @ 12601:48bc171026d1

Merge fixes.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Fri, 25 Oct 2013 12:12:49 +0200
parents 01512eb1ae7b
children b038b643a3a4
comparison
equal deleted inserted replaced
12600:80bbaf87fc89 12601:48bc171026d1