[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#65251: 30.0.50; Duration in compilation buffer
From: |
Eli Zaretskii |
Subject: |
bug#65251: 30.0.50; Duration in compilation buffer |
Date: |
Sat, 19 Aug 2023 08:54:40 +0300 |
> From: Helmut Eller <eller.helmut@gmail.com>
> Cc: Eli Zaretskii <eliz@gnu.org>, 65251@debbugs.gnu.org
> Date: Fri, 18 Aug 2023 22:55:10 +0200
>
> 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.
Thanks, done.
- bug#65251: 30.0.50; Duration in compilation buffer, Helmut Eller, 2023/08/12
- bug#65251: 30.0.50; Duration in compilation buffer, Mattias Engdegård, 2023/08/16
- bug#65251: 30.0.50; Duration in compilation buffer, Helmut Eller, 2023/08/16
- bug#65251: 30.0.50; Duration in compilation buffer, Eli Zaretskii, 2023/08/17
- bug#65251: 30.0.50; Duration in compilation buffer, Helmut Eller, 2023/08/17
- bug#65251: 30.0.50; Duration in compilation buffer, Eli Zaretskii, 2023/08/17
- bug#65251: 30.0.50; Duration in compilation buffer, Helmut Eller, 2023/08/17
- bug#65251: 30.0.50; Duration in compilation buffer, Mattias Engdegård, 2023/08/18
- bug#65251: 30.0.50; Duration in compilation buffer, Helmut Eller, 2023/08/18
- bug#65251: 30.0.50; Duration in compilation buffer,
Eli Zaretskii <=