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

Fixes after comments on deliverable by Fernando #531

Merged
merged 2 commits into from
Aug 24, 2020

Conversation

josef-widder
Copy link
Member

I fixed the two issues:

  • some links inside the verification.md were broken
  • the notation used in the table in README.md was not explained

@josef-widder josef-widder requested a review from milosevic August 24, 2020 14:30
@josef-widder josef-widder merged commit f563532 into master Aug 24, 2020
@josef-widder josef-widder deleted the josef/fixlinks-fernando branch August 24, 2020 16:57
greg-szabo added a commit that referenced this pull request Aug 24, 2020
* Proto update (#528)

* Fixes after comments on deliverable by Fernando (#531)

* fixed links

* added explanation for table

Co-authored-by: Josef Widder <[email protected]>
greg-szabo pushed a commit that referenced this pull request Aug 24, 2020
* fixed links

* added explanation for table
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