chiark / gitweb /
New option to allow changing interface flags.