Skip to content

Update README.md#4683

Closed
smanilov wants to merge 1 commit intonoir-lang:masterfrom
smanilov:patch-1
Closed

Update README.md#4683
smanilov wants to merge 1 commit intonoir-lang:masterfrom
smanilov:patch-1

Conversation

@smanilov
Copy link

@smanilov smanilov commented Apr 1, 2024

tiny change: fix link

Description

Seems like the link and the content have drifted apart: link points to "option 3", but the text contains "option 2".

Documentation*

Check one:

  • No documentation needed.
  • Documentation included in this PR.
  • [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt on default settings.

tiny change: fix link
@github-actions
Copy link
Contributor

github-actions bot commented Apr 1, 2024

Thank you for your contribution to the Noir language.

Please do not force push to this branch after the Noir team have started review of this PR. Doing so will only delay us merging your PR as we will need to start the review process from scratch.

Thanks for your understanding.

@TomAFrench
Copy link
Member

Thanks for your PR, we're actually in the process of removing this section from the docs (#4679) so I'm going to close this.

@TomAFrench TomAFrench closed this Apr 1, 2024
@smanilov
Copy link
Author

smanilov commented Apr 1, 2024

Ok, thanks for the clarification.

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