[elreq] new commits pushed by r12a

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

* removed redundant file that was replaced by a central doc
  by r12a
https://github.com/w3c/elreq/commit/b33965ffbb795269182ec4e4886233b079109628

Received on Thursday, 18 June 2020 11:03:47 UTC