Subject: Re: [bug#41725] [PATCH] gnu: openscad: Add patch to fix build.

From: Brice Waegeneire <[email-masked]>
Date: Sat, 06 Jun 2020 18:28:24 +0200

Hello Steve,

Thank you for the patch.

I can't find a failed build on ci.guix.gnu.org but building it locally
it failed.  Your patch fixed that.

Pushed as c08a784c58bca8df048bc98276aa4fcf0d61d8b3 with minor cosmetic
tweaks.

- Brice