[jlreq] new commits pushed by r12a

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

* Optimised remaining images in the english images directory.
  by r12a
https://github.com/w3c/jlreq/commit/ba31a70837ecff6e30d33a1973bdce50f343ca2c

Received on Monday, 29 June 2020 12:51:50 UTC