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

minor revisions to crosslinking ext doc #142

Merged
merged 5 commits into from
Feb 7, 2024
Merged

Conversation

colin-combe
Copy link
Contributor

No description provided.

@colin-combe
Copy link
Contributor Author

@javizca - hi Juan - these are the revisions to the crosslinking extension document

@javizca
Copy link
Contributor

javizca commented Feb 7, 2024

I guess the extension document is the one you shared by e-mail. It seems that the date was already updated. Thanks!

@javizca javizca merged commit f322b5c into HUPO-PSI:master Feb 7, 2024
@colin-combe
Copy link
Contributor Author

Thanks Juan.

I guess the extension document is the one you shared by e-mail. It seems that the date was already updated.

Yeah, it was, but i had forgotten to change date in it originally.
I'm thinking to send out links to these doc's again, to make it clear. It's not just the extension but also the main doc that needs reviewed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants