|
From: | Paul Eggert |
Subject: | Re: master 087476bce1 3/3: Merge from origin/emacs-28 |
Date: | Mon, 27 Jun 2022 08:30:58 -0500 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.9.1 |
On 6/27/22 04:44, Stefan Kangas wrote:
This was merged to master. Should it have been, if the bug is fixed there?
Thanks for catching that. I forgot to put "Do not merge to master" in the commit message. etc/PROBLEMS is fixed on master now.
[Prev in Thread] | Current Thread | [Next in Thread] |