0001-Avoid-change-to-desktop-file-format.patchDescription: Text Data
|
| From: | Paul Eggert |
| Subject: | Re: master 4a1f69ebca 2/2: Use (TICKS . HZ) for current-time etc. |
| Date: | Tue, 26 Apr 2022 21:10:09 -0700 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.7.0 |
On 4/26/22 18:29, Po Lu wrote:
The change you installed fixes my problem (though I really don't see why it did, since nothing is saved.)
desktop-file-modtime's value is saved, and was compared for list equality not time equality.
Also, shouldn't the desktop file version be bumped when the format of the time data changes?
Yes, or we could not change the desktop file format. I installed the attached to do the latter.
0001-Avoid-change-to-desktop-file-format.patch
Description: Text Data
| [Prev in Thread] | Current Thread | [Next in Thread] |