Subject: Re: [PATCH] gnu: fenics: Fix build.

From: Andreas Enge <[email-masked]>
Date: Sat, 5 Jul 2025 16:46:27 +0200

Thanks a lot for your detective work!

I could build the package locally and have pushed to master.

Andreas