[jlreq] Pull Request: post release change (previous*)

himorin has just submitted a new pull request for https://github.com/w3c/jlreq:

== post release change (previous*) ==
Adding previousPublishDate and previousMaturity as https://www.w3.org/TR/2020/NOTE-jlreq-20200811/

(do we want to tag the released one with the real configurations?? - if so, we need to do before merging this PR)

See https://github.com/w3c/jlreq/pull/232


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

Received on Tuesday, 11 August 2020 05:51:52 UTC