5 Nov
2023
5 Nov
'23
4:19 p.m.
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?