[as112-ops] Advice requested on a proposal to delegate .local to AS112

[Stephane Bortzmeyer]

On Thu, Apr 21, 2016 at 08:50:06PM +0200,
 Stephane Bortzmeyer <bortzmeyer at nic.fr> wrote 
 a message of 11 lines which said:

> In the Internet-Draft "Using DNAME in the root for the delegation of
> special-use TLDs"
> <https://tools.ietf.org/html/draft-bortzmeyer-dname-root>, there is
> a proposal to delegate heavy-use non-existing TLD like .local to the
> new AS 112. Obviously, the advice of operators of the new AS 112 is
> very important. So, please, if you approve or disapprove this idea,
> speak now.

I received one approval and one request for precision. In the next
version of the Internet-Draft, can I write:

"AS 112 operators were consulted on 21-04-2016 and expressed no
objection."

?