29 Jun
2020
29 Jun
'20
12:56 p.m.
On Mon, Jun 29, 2020 at 5:34 AM Phil Endecott via Boost
The final phrase about the domain makes me wonder if you're unaware of https://lists.boost.org/Archives/boost/ ; it is available to "casual observers",
I did not know about that, thanks. Yes by brand I mean "under boost.org." Regards