Package: grep;
Reported by: Martin Schulte <gnu <at> schrader-schulte.de>
Date: Mon, 4 Nov 2024 20:29:02 UTC
Severity: normal
Done: Paul Eggert <eggert <at> cs.ucla.edu>
Bug is archived. No further changes may be made.
To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 74205 in the body.
You can then email your comments to 74205 AT debbugs.gnu.org in the normal way.
Toggle the display of automated, internal messages from the tracker.
View this report as an mbox folder, status mbox, maintainer mbox
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
From: Martin Schulte <gnu <at> schrader-schulte.de> To: bug-grep <at> gnu.org Subject: man: dots and closing bracket in wrong order Date: Mon, 4 Nov 2024 21:28:39 +0100
Message #10 received at 74205-done <at> debbugs.gnu.org (full text, mbox):
From: Paul Eggert <eggert <at> cs.ucla.edu> To: Martin Schulte <gnu <at> schrader-schulte.de> Cc: 74205-done <at> debbugs.gnu.org Subject: Re: bug#74205: man: dots and closing bracket in wrong order Date: Mon, 4 Nov 2024 13:56:18 -0800
[Message part 1 (text/plain, inline)]
[0001-doc-more-consistent-style-for.patch (text/x-patch, attachment)]
Debbugs Internal Request <help-debbugs <at> gnu.org>
to internal_control <at> debbugs.gnu.org
.
(Tue, 03 Dec 2024 12:24:05 GMT) Full text and rfc822 format available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.