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

Add Consistent Clues. Fixes # 31 #108

Closed
wants to merge 1 commit into from
Closed

Conversation

SteveALee
Copy link

No description provided.

@SteveALee SteveALee mentioned this pull request Feb 6, 2017
@awkawk
Copy link
Member

awkawk commented Apr 11, 2018

Old Pull request, overcome by events as WG didn't adopt this SC.

@awkawk awkawk closed this Apr 11, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants