- From: Tab Atkins Jr. via GitHub <sysbot+gh@w3.org>
- Date: Tue, 12 Dec 2017 18:57:22 +0000
- To: public-css-archive@w3.org
This is done by adding `oldids="whatever"` to the heading element, btw. No need to manually add an element. -- GitHub Notification of comment by tabatkins Please view or discuss this issue at https://github.com/w3c/csswg-drafts/pull/2104#issuecomment-351153807 using your GitHub account
Received on Tuesday, 12 December 2017 18:57:38 UTC