chiark / gitweb /
bug fix: fix return value in set min/max objective