12 Nov
2023
12 Nov
'23
6:41 p.m.
On 11/12/23 9:40 AM, Andrey Semashev via Boost wrote:
On 11/12/23 19:06, Janek Kozicki via Boost wrote:
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.
I didn't see this distinction. But now you've heard various opinions, perhaps you might want to turn it into a proposal. Which might be interesting. The acceptance/implementation of build practices in boost is pretty murky as far as I can tell. That is, I've never really understood it. Robert Ramey
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost