W3C home > Mailing lists > Public > public-rdf-star@w3.org > June 2021

Please push #173 and #176 into main

From: thomas lörtsch <tl@rat.io>
Date: Mon, 7 Jun 2021 14:07:40 +0200
Message-Id: <4B5CE558-2EDF-4904-B4E0-30CA623356D2@rat.io>
To: public-rdf-star@w3.org
Hi Pierre-Antoine,

I understood that during the last call we approved pull requests #176 and #173. I also promised to propose some changes until Wednesday. It would make my work easier if you could merge the approved PRs into the draft. Currently I’m working from the editors draft but I’m quite confident that that is a messy way to operate.

Received on Monday, 7 June 2021 12:08:29 UTC

This archive was generated by hypermail 2.4.0 : Monday, 7 June 2021 12:09:34 UTC