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.

Sign up for GitHub

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

Jump to bottom

obsolete HP:0025621 #5781

Merged
merged 6 commits into from
May 29, 2020
Merged

obsolete HP:0025621 #5781

merged 6 commits into from
May 29, 2020

Conversation

nicolevasilevsky
Copy link
Member

@nicolevasilevsky nicolevasilevsky commented May 19, 2020 •
edited
Loading

address #5695

@nicolevasilevsky nicolevasilevsky requested a review from drseb May 19, 2020 18:55
LCCarmody and others added 5 commits May 19, 2020 15:08
obsoleted term. #5695
d20f5fb
forgot to remove the superclass.
df5633c
changed to a lowercase 'O' in obsolete
8e6bddb
@nicolevasilevsky
fix error
ae9c569 
In the term replaced by, I copied and pasted the URI into the IRI editor tab, instead of the literal tab
@nicolevasilevsky
update annotations
d324a23
@pnrobinson
Copy link
Contributor

I agree with #5695

@nicolevasilevsky nicolevasilevsky merged commit 274422d into master May 29, 2020
@nicolevasilevsky nicolevasilevsky deleted the issue-5695b branch May 29, 2020 17:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@drseb drseb Awaiting requested review from drseb

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@nicolevasilevsky @pnrobinson