[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#59888: [PATCH] Add 'grep-use-headings'
|
From: |
Augusto Stoffel |
|
Subject: |
bug#59888: [PATCH] Add 'grep-use-headings' |
|
Date: |
Mon, 27 Feb 2023 20:06:07 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
On Mon, 27 Feb 2023 at 20:53, Juri Linkov wrote:
> I tried out your patch, and everything works nicely.
> So I guess it could be pushed when you send the final version.
There you go :-)
0002-New-user-option-grep-use-headings.patch
Description: Text Data
0001-Introduce-compilation-annotation-text-property.patch
Description: Text Data
- bug#59888: [PATCH] Add 'grep-use-headings', Augusto Stoffel, 2023/02/25
- bug#59888: [PATCH] Add 'grep-use-headings', Juri Linkov, 2023/02/25
- bug#59888: [PATCH] Add 'grep-use-headings', Robert Pluim, 2023/02/26
- bug#59888: [PATCH] Add 'grep-use-headings', Juri Linkov, 2023/02/27
- bug#59888: [PATCH] Add 'grep-use-headings',
Augusto Stoffel <=
- bug#59888: [PATCH] Add 'grep-use-headings', Juri Linkov, 2023/02/27
- bug#59888: [PATCH] Add 'grep-use-headings', Juri Linkov, 2023/02/28
- bug#59888: [PATCH] Add 'grep-use-headings', Augusto Stoffel, 2023/02/28