18 Jul
2024
18 Jul
'24
11:46 p.m.
On 7/19/24 02:41, Vinnie Falco via Boost wrote:
On Thu, Jul 18, 2024 at 4:34 PM Joel de Guzman via Boost < boost@lists.boost.org> wrote:
Has anyone contacted Zoltan Juhasz regarding this?
This is not necessary. As there has not been an actual problem for 18 years, it is increasingly unlikely for said problem to ever occur.
Since the new logo is apparently supposed to "fix" the legal issue, I disagree that this is not necessary.