[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: |
Sat, 25 Feb 2023 09:34:56 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
I've been using the grep-use-headings locally for a long time and it
works well. Should the the patches be installed?
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 <=
- 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, 2023/02/27
- bug#59888: [PATCH] Add 'grep-use-headings', Juri Linkov, 2023/02/27
- bug#59888: [PATCH] Add 'grep-use-headings', Juri Linkov, 2023/02/28