On Wed, Jul 6, 2016 at 3:19 PM, Aljoscha Krettek <[email protected]> wrote: > In the future, it might be good to to discussions directly on the ML and > then change the document accordingly. This way everyone can follow the > discussion on the ML. I also feel that Google Doc comments often don't give > enough space for expressing more complex opinions.
I agree! Would you mind raising this point as a separate discussion on dev@?
