[elreq] new commits pushed by dyacob

The following commits were just pushed by dyacob to https://github.com/w3c/elreq:

* Updates to section 5 (Numbers).
  by dyacob
https://github.com/w3c/elreq/commit/033d696c96a350a50d357dad66d591106763beb0

Received on Sunday, 16 February 2020 14:55:08 UTC