W3C home > Mailing lists > Public > public-sdwig@w3.org > January 2020

[sdw] Merged Pull Request: Fix capitalization in a couple of labels - monat-->Monat, Rok-->rok

From: Chris Little via GitHub <sysbot+gh@w3.org>
Date: Wed, 22 Jan 2020 10:20:43 +0000
To: public-sdwig@w3.org
Message-ID: <pull_request.closed-365591965-1579688441-sysbot+gh@w3.org>
chris-little has just merged dr-shorthair's pull request 1162 for https://github.com/w3c/sdw:

== Fix capitalization in a couple of labels - monat-->Monat, Rok-->rok ==
Fixes #1161 

See https://github.com/w3c/sdw/pull/1162
Received on Wednesday, 22 January 2020 10:20:45 UTC

This archive was generated by hypermail 2.4.0 : Wednesday, 22 January 2020 10:20:45 UTC