Jeff Law via Gcc-patches Thu, 27 Oct 2022 16:08:41 -0700
On 10/26/22 06:10, Thomas Schwinge wrote:
Hi! OK to push the attached patch to "Document 'distclean-stage[N]'"?
OK jeff