[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 9912049173: Update from Gnulib by running admin/merge-gnulib
From: |
Po Lu |
Subject: |
Re: master 9912049173: Update from Gnulib by running admin/merge-gnulib |
Date: |
Wed, 18 Jan 2023 08:40:42 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Paul Eggert <eggert@cs.ucla.edu> writes:
> On 1/17/23 01:45, Po Lu wrote:
>> Paul, could you please take a look at bug#60843?
>
> I installed the attached; please give it a try.
Yes, it works. Thanks.