From: Andrey Semashev (andrey.semashev_at_[hidden])
Date: 2023-11-12 17:40:46
On 11/12/23 19:06, Janek Kozicki via Boost wrote:
> Vinnie Falco via Boost said: (by the date of Sun, 12 Nov 2023 07:52:46 -0800)
>
>> Why is this ridiculous conversation "Do we still want develop branch"
>> still raging?
>
> And what was the decision: yes or no? Will there be a vote?
To be clear, the original point of this topic was to hear people's
opinion on the develop branch usefulness. This wasn't a vote or proposal
to remove it.