chiark / gitweb /
Revert "Do not build extras with --disable-extras"