Mailing list subscription confirmation notice for mailing list
YICES-ANNOUNCE
We have received a request from 23.154.177.17 for subscription of your
email address, "archive@mail-archive.com", to the
yices-annou...@csl.sri.com mailing list. To confirm that you want to
be added to this mailing list, simply reply to this message, keeping
the Subject: header intact. Or visit this web page:
https://mls.csl.sri.com/cgi-bin/mailman/confirm/yices-announce/3358b2c6050494a0557869d4818a3ffb19c2508b
Or include the following line -- and only the following line -- in a
message to yices-announce-requ...@csl.sri.com:
confirm 3358b2c6050494a0557869d4818a3ffb19c2508b
Note that simply sending a `reply' to this message should work from
most mail readers, since that usually leaves the Subject: line in the
right form (additional "Re:" text in the Subject: is okay).
If you do not wish to be subscribed to this list, please simply
disregard this message. If you think you are being maliciously
subscribed to the list, or have any other questions, send them to
yices-announce-ow...@csl.sri.com.
