Re: You have been added to FPBench

[Nyx Brain, Martin]

Sorry to ask like this but please can you remove my
martin...@cs.ox.ac.uk e-mail address and keep just my
martin...@city.ac.uk one?

Cheers,
- Martin

On Mon, 2021-10-04 at 15:41 -0700, FPBench wrote:
> CAUTION: This email originated from outside of the organisation. Do
> not click links or open attachments unless you recognise the sender
> and believe the content to be safe.
>
> FPBench<https://groups.google.com/a/fpbench.org/d/forum/fpbench>
> Google Groups<https://groups.google.com/a/fpbench.org/d/overview>
> [Logo for Google Groups] <
> https://groups.google.com/a/fpbench.org/d/overview>
> Hi martin...@cs.ox.ac.uk,
> ad...@fpbench.org added you to the FPBench<
> https://groups.google.com/a/fpbench.org/d/forum/fpbench> group.
> Message from ad...@fpbench.org
>
> Howdy! We have just set up a new domain for FPBench and are moving
> the mailing list over to this new group message board. You can now
> just email `fpb...@fpbench.org` to reach the list. Bill will also be
> sending an update shortly about our meeting this Thursday, so please
> stay tuned!
>
> About this group
>
> FPBench Community Mailing List
>
> Google Groups allows you to create and participate in online forums
> and email-based groups with a rich community experience. You can also
> use your Group to share documents, pictures, calendars, invitations,
> and other resources. Learn more<
> https://support.google.com/groups/answer/46601?hl=en>;.
>
> If you do not wish to be a member of this group you can send an email
> to
> fpbench+u...@fpbench.org<mailto:fpbench+u...@fpbench.or
> g> or follow this unsubscribe<
> https://groups.google.com/a/fpbench.org/d/forum/fpbench/unsubscribe/AHZ7KVO9qI7WrsI1dDm_eF8GWzTvxJHyE28nDbQxv6RvPMyJsdhUMmHnP0XXfWM78vZcV8GqLQsju7cNkV53bEd3Zy5-BfTvuA
> > link. If you believe this group may contain spam, you can also
> report the group for abuse.<
> https://groups.google.com/a/fpbench.org/d/abuse/AJmrmCurDwHsU0CDuyvoS2Dqa6ln0SrbAvDTmU8BE5MZAjep3HoBGU830rMcGQr5i1ptsMvewqbwPEbJ1QEsLlehwtZsxmEb4BJipZERPasM_mk49qVsPYneLMPSrSVQsPGepvFjaXid
> > For additional information see our help center<
> https://support.google.com/groups/answer/46601?hl=en>;.
>
> View this group<
> https://groups.google.com/a/fpbench.org/d/forum/fpbench>
> If you do not wish to be added to Google Groups in the future you can
> opt out here<https://groups.google.com/a/fpbench.org/d/optout>;.
> Visit the help center.<
> https://support.google.com/groups/answer/46601?hl=en>
--
Martin is now a full time member of staff.

[FPBench Administrator]

Sure thing!

@ all : for future, you can always just email `ad...@fpbench.org` for meta issues like membership changes etc.

We'll try to update the list footer to reflect this for future as well :)

Cheers!

> fpbench+unsubscribe@fpbench.org<mailto:fpbench+unsub...@fpbench.or