chiark / gitweb /
manager: downgrade a few log msgs regarding conflicting but fixable jobs