Subject: Re: [bug#70280] [PATCH 3/5] locale: Shrink‘%default-locale-definitions’ from 34 to 10 locales.
From: Ludovic Courtès <[email-masked]>
To: "pelzflorian (Florian Pelz)" <[email-masked]>
Cc: [email-masked]
Date: Tue, 30 Apr 2024 00:30:24 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Florian,

I pushed this series as 5f89f45e7465ebbdc84c925ea3cfaec5dd06ed88,
following the two suggestions you made:

  • Dropping the controversial patch that changed whether the system
    locale would be include.

  • Dropping two “redundant” locales and adding two Portuguese locales
    to the default set.

Thanks again!

Ludo’.