22 Jul
2010
22 Jul
'10
2:30 p.m.
Roland Bock wrote:
Reading the contributions to this thread makes me wonder:
How is this ever going to be decided? Is there a policy for changing names within boost? - Is it a democratic decision?
No.
- Or can the maintainers rename their stuff in whatever way they like?
This comes closest to how it is actually working.
- Or do we need a review manager who will organize a review once the maintainers have come up with a new name?
No.