[elreq] new commits pushed by r12a

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

* + ig
  by r12a
https://github.com/w3c/elreq/commit/1026d5fb54699dcc853e0587b2b48cc8371c2e78

Received on Thursday, 18 June 2020 11:01:16 UTC