Skip to content
This repository has been archived by the owner on Jul 30, 2019. It is now read-only.

Missing space. issue #1013 #1032

Merged
merged 1 commit into from
Sep 26, 2017
Merged

Missing space. issue #1013 #1032

merged 1 commit into from
Sep 26, 2017

Conversation

carmacleod
Copy link
Contributor

Change-Id: Iae0c4177629708745185e3b8912c3ff7d4a6a006
Signed-off-by: carmacleod [email protected]

Change-Id: Iae0c4177629708745185e3b8912c3ff7d4a6a006
Signed-off-by: carmacleod <[email protected]>
@chaals
Copy link
Collaborator

chaals commented Sep 26, 2017

Marked as non substantive for IPR from ash-nazg.

@chaals chaals merged commit 47caa47 into w3c:master Sep 26, 2017
@carmacleod carmacleod deleted the issue1013 branch September 26, 2017 15:27
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants