On 10/26/22 06:10, Thomas Schwinge wrote:
Hi!

OK to push the attached patch to "Document 'distclean-stage[N]'"?

OK

jeff


Reply via email to