Subject: Re: [bug#67793] [PATCH v2] gnu: Add exprtk.
From: Andreas Enge <[email-masked]>
To: Lars Bilke <[email-masked]>
Cc: [email-masked], Sharlatan Hellseher <[email-masked]>, Steve George <[email-masked]>, Eric Bavier <[email-masked]>
Date: Wed, 22 Jan 2025 11:07:12 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello Lars,

apologies, the previous version slipped through my attention. I have
just committed the patch with a few changes:
- reordered the fields
- added a "(file-name (git-file-name name version))" line to the source
  field
- Turned the description into a sentence.

Thanks!

Andreas