[elreq] new commits pushed by r12a

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

* tidy
  by r12a
https://github.com/w3c/elreq/commit/1152ca5c88c4a2a40921182bb8a4fc7e7c60d1ca

Received on Tuesday, 26 May 2020 14:53:45 UTC