[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Collecting markers with MPS
From: |
Helmut Eller |
Subject: |
Re: Collecting markers with MPS |
Date: |
Wed, 24 Apr 2024 22:13:47 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
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.
Helmut
- Re: Collecting markers with MPS, (continued)
- Re: Collecting markers with MPS, Eli Zaretskii, 2024/04/24
- Re: Collecting markers with MPS, Helmut Eller, 2024/04/24
- Re: Collecting markers with MPS, Eli Zaretskii, 2024/04/24
- Re: Collecting markers with MPS, Gerd Möllmann, 2024/04/24
- Re: Collecting markers with MPS, Helmut Eller, 2024/04/24
- Re: Collecting markers with MPS, Gerd Möllmann, 2024/04/24
- Re: Collecting markers with MPS, Mattias Engdegård, 2024/04/25
- Re: Collecting markers with MPS, Gerd Möllmann, 2024/04/24
- Re: Collecting markers with MPS, Helmut Eller, 2024/04/24
- Re: Collecting markers with MPS, Gerd Möllmann, 2024/04/24
- Re: Collecting markers with MPS,
Helmut Eller <=
- Re: Collecting markers with MPS, Gerd Möllmann, 2024/04/24
- Re: Collecting markers with MPS, Helmut Eller, 2024/04/25
- Re: Collecting markers with MPS, Gerd Möllmann, 2024/04/25
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