chiark / gitweb /
fixed another nasty bug, where we could accidentally return an "optimum" that is...