[webkit-dev] 안광림 is out of office.

Ling Ho lingho at apple.com
Thu Jun 2 13:12:20 PDT 2022


I have set up a couple of rules to catch and hold based on 
"X-AutoResponse: AutoResponse" and "Auto-submitted: auto-generated". Not 
sure of the latter is needed. We'll have to see if they work tomorrow.
...
ling

On 6/2/22 11:00 AM, Klaus Weidner via webkit-dev wrote:
> 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 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
>         https://lists.webkit.org/mailman/listinfo/webkit-dev
>
>     _______________________________________________
>     webkit-dev mailing list
>     webkit-dev at lists.webkit.org
>     https://lists.webkit.org/mailman/listinfo/webkit-dev
>
>
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-dev/attachments/20220602/66f0ca92/attachment.htm>


More information about the webkit-dev mailing list