8 Oct
2017
8 Oct
'17
3:32 p.m.
Andrey Semashev wrote:
On 10/08/17 17:00, Peter Dimov via Boost wrote:
Re Trac, I just enabled Github Issues for Random. Perhaps we finally need to do that for all libraries.
I think it should be left up to the library maintainers.
The library maintainers who dislike issues can re-disable them. The problem with the current status quo is that when I look at a library and see its issues disabled, I don't know if that's because the maintainer wants them disabled, or because they are disabled because all were initially disabled. No way to gauge intent.