tests/test-bad-extension.out
changeset 7587 766d9cf58b3f
parent 7210 833d1250ce00