W3C home > Mailing lists > Public > public-sdwig@w3.org > March 2019

[sdw] Merged Pull Request: OWL-Time - Editorial changes in response to #1114

From: Linda van den Brink via GitHub <sysbot+gh@w3.org>
Date: Wed, 13 Mar 2019 07:40:27 +0000
To: public-sdwig@w3.org
Message-ID: <pull_request.closed-258883404-1552462826-sysbot+gh@w3.org>
lvdbrink has just merged dr-shorthair's pull request 1116 for https://github.com/w3c/sdw:

== OWL-Time - Editorial changes in response to #1114 ==
Make editorial changes requested by Roger Lott in the course of OGC adoption (documented in #1114 )

For preview see https://rawgit.com/w3c/sdw/time-issue1114-take2/time/

See https://github.com/w3c/sdw/pull/1116
Received on Wednesday, 13 March 2019 07:40:29 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:17:53 UTC