tests/test-bad-extension.out
changeset 3894 d6cc510dfe5e
parent 3011 01454af644b8
child 3990 96e21337dc03