Re: New script to strip out entries from languages list

2024-01-02 Thread Holger Wansing
Hi again, Holger Wansing wrote (Tue, 02 Jan 2024 17:03:28 +0100): > Am 2. Januar 2024 09:29:05 MEZ schrieb Thomas Lange : > >Hi Holger, > > > >this script looks good to me. Thanks a lot for your work on this. > >I think you can merge it. > > Just merged. While looking at the logs now, I see tha

Re: New script to strip out entries from languages list

2024-01-02 Thread Holger Wansing
Hi, Am 2. Januar 2024 09:29:05 MEZ schrieb Thomas Lange : >Hi Holger, > >this script looks good to me. Thanks a lot for your work on this. >I think you can merge it. Just merged. >> On Mon, 1 Jan 2024 23:39:09 +0100, Holger Wansing >> said: > > >> In additional steps, we could als

Re: New script to strip out entries from languages list

2024-01-02 Thread Thomas Lange
Hi Holger, this script looks good to me. Thanks a lot for your work on this. I think you can merge it. > On Mon, 1 Jan 2024 23:39:09 +0100, Holger Wansing > said: > In additional steps, we could also remove entries like de_AT, de_CH, de_DE > and only leave 'de', as mentioned b