and JB is more willing to merge tools related PRs ...

# language-proposals

[kirillrakhman]

and JB is more willing to merge tools related PRs because they don't change the semantics of the language