chiark / gitweb /
config: permit unknown promise_... settings