search

w3c / rdf-star-wg

RDF-star Working Group
Other
25 stars 8 forks source link

email where section headings should go #92

Closed ghurlbot closed 1 year ago

ghurlbot commented 1 year ago

Opened by pfps via IRC channel #rdf-star on irc.w3.org

Due: 2023-09-28 (Thursday 28 September)

pfps commented 1 year ago

See https://lists.w3.org/Archives/Public/public-rdf-star-wg/2023Sep/0038.html

ghurlbot commented 1 year ago

Closed by gkellogg via IRC channel #rdf-star on irc.w3.org