W3C home > Mailing lists > Public > public-tt@w3.org > January 2018

Closed: [imsc] Should ebutts:linePadding be deprecated?

From: Pierre-Anthony Lemieux via GitHub <sysbot+gh@w3.org>
Date: Mon, 15 Jan 2018 17:39:27 +0000
To: public-tt@w3.org
Message-ID: <issues.closed-271361366-1516037966-sysbot+gh@w3.org>
palemieux closed this issue. See https://github.com/w3c/imsc/issues/278
Received on Monday, 15 January 2018 17:39:30 UTC

This archive was generated by hypermail 2.3.1 : Monday, 15 January 2018 17:39:30 UTC