Subject: Add optional-lite and distrho-ports
From: Ricardo Wurmus <[email-masked]>
To: [email-masked]
Date: Sat, 02 Sep 2023 10:40:20 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Sughosha,

I’ve applied the latest version of your patches with a few minor
changes:

- some indentation changes
- changed the build phase to do without for-each.

Thank you for your patience!

-- 
Ricardo