Re: [PATCH-for-9.0] docs: Deprecate the pseries-2.12 machines