Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Issue 731 #790

Merged
merged 1 commit into from
Mar 8, 2019
Merged

Issue 731 #790

merged 1 commit into from
Mar 8, 2019

Conversation

nicholascar
Copy link
Contributor

Only the original points raised about the diagram in Issue #731, not the subsequent OGC discussion.

@nicholascar nicholascar added the profiles-vocabulary For discussion of profile description vocabulary label Mar 5, 2019
@nicholascar nicholascar added this to the PROF 2PWD milestone Mar 5, 2019
@nicholascar nicholascar added this to To do in Profiles Ontology via automation Mar 5, 2019
@rob-metalinkage rob-metalinkage merged commit 434d3a6 into gh-pages Mar 8, 2019
Profiles Ontology automation moved this from To do to Done Mar 8, 2019
@nicholascar nicholascar deleted the Issue-731 branch March 18, 2019 07:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
profiles-vocabulary For discussion of profile description vocabulary
Projects
Development

Successfully merging this pull request may close these issues.

None yet

2 participants