tests/test-bad-extension.out
changeset 7823 11efa41037e2
parent 7210 833d1250ce00