[jlreq] new commits pushed by r12a

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

* jpan   Post-publication tidy
  by r12a
https://github.com/w3c/jlreq/commit/3e57b775ec5c9894ab4682c7c560af830c01694c



-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Tuesday, 30 July 2024 15:29:42 UTC