Re: Collecting markers with MPS

emacs-devel

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Collecting markers with MPS

From:	Gerd Möllmann
Subject:	Re: Collecting markers with MPS
Date:	Wed, 24 Apr 2024 22:42:18 +0200
User-agent:	Gnus/5.13 (Gnus v5.13)

Helmut Eller <eller.helmut@gmail.com> writes:

> On Wed, Apr 24 2024, Gerd Möllmann wrote:
>
>> Can I push that? We could make fixes, if any are necessary afterwards.
>> And I find that it's certainly a useful addition, independent of markers.
>
> Sure.  We could also remove it later.

Thanks! It's in.

[Prev in Thread]

Current Thread

[Next in Thread]

Re: Collecting markers with MPS, (continued)
- basic questions on MPS, Andrea Corallo, 2024/04/25
  - Re: basic questions on MPS, Helmut Eller, 2024/04/25
    - Re: basic questions on MPS, Eli Zaretskii, 2024/04/25
    - Re: basic questions on MPS, Gerd Möllmann, 2024/04/25
    - Re: basic questions on MPS, Vibhav Pant, 2024/04/25
    - Re: basic questions on MPS, Helmut Eller, 2024/04/26
    - Re: basic questions on MPS, Gerd Möllmann, 2024/04/26
    - Re: basic questions on MPS, vibhavp, 2024/04/26

Prev by Date: Re: Collecting markers with MPS
Next by Date: Re: Native compilation on MPS branch
Previous by thread: Re: Collecting markers with MPS
Next by thread: Re: Collecting markers with MPS
Index(es):
- Date
- Thread