The current decision about 12310 is: it will be ON...

# kontributors

[mglukhikh]

The current decision about 12310 is: it will be ON by default; it will have configurable option "public + protected members only (default) / all members only"; at this moment we're (a bit slowly) discussing how to make it live together with specify type intention in the most accurate way. I hope I will finish it on Monday, at last.