chiark / gitweb /
[PATCH] oops, forgot to fix up the PROGRAM result from ID to RESULT in the config...