Email Gateway (Aug 22 2022 at 20:08): Email Gateway (Aug 22 2022 at 20:08):From: mailing-list anonymous <mailing.list.anonymous@gmail.com>
Dear All,
I have a meta-question on the subject of the correct way to reply to the
threads in the mailing list. Usually, when replying, I copy the subject of
the thread from the archives of the mailing list (
https://lists.cam.ac.uk/pipermail/cl-isabelle-users/) and state it as the
subject in my reply, with 'Re: ' appended at the beginning of the subject
line. Furthermore, I quote some elements of the original message. However,
from time to time, my replies appear as explicit new threads in "The
Cl-isabelle-users Archives". If possible, I would like to understand how
can I ensure that my replies are posted in the intended thread in the
archives?
Thank you
Email Gateway (Aug 22 2022 at 20:08):From: Mark Wassell <mpwassell@gmail.com>
Hi,
The following Stack Exchange post might help.
https://webapps.stackexchange.com/questions/23197/reply-to-mailman-archived-message
See the first answer for why matching the subject line doesn't ensure
threading.
Cheers
Mark
Last updated: Apr 25 2024 at 01:08 UTC