- From: Riccardo Albertoni via GitHub <sysbot+gh@w3.org>
- Date: Thu, 18 Jul 2019 11:14:20 +0000
- To: public-dxwg-wg@w3.org
> Hi @riccardoAlbertoni - I don't think there is a need to merge this into #1003 - both PRs can be merged independently into gh-pages as they are dealing with different issues (as I removed any syntactic changes from #1003 and those fixes were dealt with in #1006 - unless I'm not following why you see the need to merge them? Fine, I have changed the base to which this PR is going to merge. Thanks. -- GitHub Notification of comment by riccardoAlbertoni Please view or discuss this issue at https://github.com/w3c/dxwg/pull/1004#issuecomment-512773501 using your GitHub account
Received on Thursday, 18 July 2019 11:14:21 UTC