Skip to content

[Merged by Bors] - Fixes to World's documentation #2790

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
Closed
wants to merge 1 commit into from
Closed

[Merged by Bors] - Fixes to World's documentation #2790

wants to merge 1 commit into from

Conversation

willolisp
Copy link
Contributor

@willolisp willolisp commented Sep 8, 2021 •
edited
Loading

Objective

Fixes #2787.

Solution

Fixed doc syntax for World's get and get_mut methods.

@github-actions github-actions bot added the S-Needs-Triage This issue needs to be labelled label Sep 8, 2021
@alice-i-cecile alice-i-cecile added C-Docs An addition or correction to our documentation S-Ready-For-Final-Review This PR has been approved by the community. It's ready for a maintainer to consider merging it and removed S-Needs-Triage This issue needs to be labelled labels Sep 8, 2021
Nilirad
Nilirad approved these changes Sep 8, 2021
View reviewed changes
Copy link
Contributor

@Nilirad Nilirad left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

There are no conflicts with #2365.

@mockersf
Copy link
Member

mockersf commented Sep 9, 2021

bors r+

bors bot pushed a commit that referenced this pull request Sep 9, 2021
@willolisp
Fixes to World's documentation (#2790)
cbe9e56 
# Objective

Fixes #2787.

## Solution

Fixed doc syntax for `World`'s `get` and `get_mut` methods.
@bors
Copy link
Contributor

bors bot commented Sep 9, 2021

Pull request successfully merged into main.

Build succeeded:

@bors bors bot changed the title Fixes to World's documentation [Merged by Bors] - Fixes to World's documentation Sep 9, 2021
@bors bors bot closed this Sep 9, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@afonsolage afonsolage afonsolage approved these changes

@alice-i-cecile alice-i-cecile alice-i-cecile approved these changes

@mockersf mockersf mockersf approved these changes

@Nilirad Nilirad Nilirad approved these changes

Assignees
No one assigned
Labels
C-Docs An addition or correction to our documentation S-Ready-For-Final-Review This PR has been approved by the community. It's ready for a maintainer to consider merging it
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Incorrect doc syntax on World get and get_mut
5 participants
@willolisp @mockersf @afonsolage @alice-i-cecile @Nilirad