From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1851) id 89F08383F423; Thu, 3 Jun 2021 11:27:38 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 89F08383F423 To: gcc-cvs-wwwdocs@gcc.gnu.org Subject: gcc-wwwdocs branch master updated. c82e0f875b6bc733e59fb144f76119f8000619cf X-Git-Refname: refs/heads/master X-Git-Reftype: branch X-Git-Oldrev: 95cf0688ab3b1973f60133d32bcd29e373186cec X-Git-Newrev: c82e0f875b6bc733e59fb144f76119f8000619cf Message-Id: <20210603112738.89F08383F423@sourceware.org> Date: Thu, 3 Jun 2021 11:27:38 +0000 (GMT) From: Martin Liska X-BeenThere: gcc-cvs-wwwdocs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs-wwwdocs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 03 Jun 2021 11:27:38 -0000 This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gcc-wwwdocs". The branch, master has been updated via c82e0f875b6bc733e59fb144f76119f8000619cf (commit) from 95cf0688ab3b1973f60133d32bcd29e373186cec (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit c82e0f875b6bc733e59fb144f76119f8000619cf Author: Martin Liska Date: Thu Jun 3 13:27:31 2021 +0200 Add id for a header. diff --git a/htdocs/lists.html b/htdocs/lists.html index e9636198..ef3e7a73 100644 --- a/htdocs/lists.html +++ b/htdocs/lists.html @@ -214,7 +214,7 @@ who has said "I can't get off this list! Unsubscribe me!" has found, with enough prodding, that sending mail to the address listed in List-Unsubscribe: does the trick.

-

Filtering

+

Filtering

If you want to use procmail or similar tools to process the GCC mailing lists, you can filter using the List-Id: header from RFC2919, as well ----------------------------------------------------------------------- Summary of changes: htdocs/lists.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) hooks/post-receive -- gcc-wwwdocs