Call for Consensus:


As a response to Fuqiao Xue, who noticed a confusing bit of phrasing, Natasha has filed the following editorial pull request:

We have consensus in github about this being a useful and safe clarification, so I would like to merge it before the AC ballot.

This is a call for consensus to merge this pull request. Given existing support, unless someone has a problem with it, I will merge it on Friday this week (2018-12-14).

—Florian (co-editor)

Received on Monday, 10 December 2018 23:16:08 UTC