tests/test-issue672
changeset 8778 c5f36402daad
parent 8167 6c82beaaa11a
equal deleted inserted replaced
8777:012be286b2c4 8778:c5f36402daad