From: Dennis Luehring (dl.soluz_at_[hidden])
Date: 2023-11-05 15:19:18
Am 05.11.2023 um 12:19 schrieb Andrey Semashev via Boost:
> One of the commits fixing this problem was not merged to master. It is
> now, and it should resolve the issue.
>
so what is the "main" branch before release - develop or master?
i was testing develop - so i should switch to master and there was a fix
integration not comming from develop?