bug-gnu-emacs
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#65251: 30.0.50; Duration in compilation buffer

From: Helmut Eller
Subject: bug#65251: 30.0.50; Duration in compilation buffer
Date: Fri, 18 Aug 2023 22:55:10 +0200
User-agent: Gnus/5.13 (Gnus v5.13) 
On Fri, Aug 18 2023, Mattias Engdegård wrote:

> Otherwise, if you aren't too unhappy about the resolution, the bug can
> be closed.

Yes, close it.

Helmut
reply via email to
[Prev in Thread] Current Thread [Next in Thread]