From: Ruben Perez (rubenperez038_at_[hidden])
Date: 2023-10-13 17:35:19
On Fri, 13 Oct 2023, 19:30 Peter Dimov via Boost, <boost_at_[hidden]>
wrote:
> Christian Mazakas wrote:
>
> > Coral is a fantastic name!
>
> Cobalt is better.
>
+1