Short version, you may want to set up a local mail filter to hide messages from this list with that subject.
Unfortunately the interactions between mailing lists and autoresponders aren't very well standardized. The list messages have a List-Id: header which the user agent should use as an indication not to send an autoresponse, but that's apparently being ignored in this case. On the flip side, a proper vacation autoresponse should set a header which the mailing list software should use to discard it, but that also doesn't necessarily happen. https://datatracker.ietf.org/doc/html/rfc3834 defines the Auto-Submitted: field, there's obsolescent versions such as Precedence: bulk, and many more variants such as these: https://www.arp242.net/autoreply.html. As far as I can tell the mailing list doesn't use any of them, but it's unclear if it would help since mail clients aren't necessarily going to respect them. On Thu, Jun 2, 2022 at 10:20 AM Alemar via webkit-dev < webkit-dev@lists.webkit.org> wrote: > These out of office messages are getting out of hand. Is there anything we > can do? > > El jue, 2 jun 2022 a las 10:43, 안광림 via webkit-dev (< > webkit-dev@lists.webkit.org>) escribió: > >> >> Period : 2022/05/23 00:00 ~ 2022/07/15 00:00 [Korea Standard Time] >> >> 부재중입니다. >> _______________________________________________ >> webkit-dev mailing list >> webkit-dev@lists.webkit.org >> https://lists.webkit.org/mailman/listinfo/webkit-dev >> > _______________________________________________ > webkit-dev mailing list > webkit-dev@lists.webkit.org > https://lists.webkit.org/mailman/listinfo/webkit-dev >
_______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev
