[webkit-dev] 안광림 is out of office.
klausw at chromium.org
Thu Jun 2 11:00:28 PDT 2022
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
https://datatracker.ietf.org/doc/html/rfc3834 defines the
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 at 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 at lists.webkit.org>) escribió:
>> Period : 2022/05/23 00:00 ~ 2022/07/15 00:00 [Korea Standard Time]
>> webkit-dev mailing list
>> webkit-dev at lists.webkit.org
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the webkit-dev