[zypp-commit] <sat-solver> master : Add a no-op Pool destructor