Subject: Re: [PATCH] gnu: gmsh: Update to 4.11.1.

From: "Paul A. Patience" <[email-masked]>
Date: Tue, 20 Jun 2023 14:21:58 +0000

Sorry, I didn't realize the prerequisite-patch-id fields were being added to the patch.
Please disregard them, they are unnecessary.

On Monday, June 19th, 2023 at 10:30 PM, Paul A. Patience <[email-masked]> wrote:
> base-commit: d884fc9e2efecfba09af4694f5a13ad7fc6f704f
> prerequisite-patch-id: 52027b181c066ac91bc56fc0af511a34f3516651
> prerequisite-patch-id: 7ddddfb1646020c15a91ff8f00dd2bacc54162c9
> prerequisite-patch-id: 7b8261c3b3ee237bfe47e1f478e72e7fd29fd683
> prerequisite-patch-id: 44319403f544d47490bc16df6c2e800e1bc2bfeb

Best regards,
Paul