chiark / gitweb /
test: remove duplicated EXTRA entry