tests/test-bad-extension.out
changeset 5223 fe55e3d6dc0b
parent 4139 efe6f92c0847
child 5032 6dbd40b6307c