chiark / gitweb /
manager: let manager_free() handle NULLs