13 Oct
2023
13 Oct
'23
5:34 p.m.
On Fri, Oct 13, 2023, 19:30 Peter Dimov via Boost <boost@lists.boost.org> wrote:
Christian Mazakas wrote:
Coral is a fantastic name!
Cobalt is better.
Cobalt is more accurate but coral is so attractively simple and captivating. It has to be either of these two! +1 for the brilliant direction. Regards, &rzej;
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost