(Or Ubuntu systems post-fix but with pools created while the bug was active - and is there a fix possible, or is it "make a new pool"? Is there a diagnostic possible to be sure either way?)
(Or Ubuntu systems post-fix but with pools created while the bug was
active - and is there a fix possible, or is it "make a new pool"? Is
there a diagnostic possible to be sure either way?)