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

PharoEnvironmentHelp outdated #5952

Closed
dvtomas opened this issue Mar 21, 2020 · 3 comments
Closed

PharoEnvironmentHelp outdated #5952

dvtomas opened this issue Mar 21, 2020 · 3 comments
Labels
Easy Project: Documentation Documentation/Welcome/...

Comments

@dvtomas
Copy link

dvtomas commented Mar 21, 2020

There's a lot of outdated information in the PharoEnvironmentHelp class comment (propagated to #wikiStyleHelp). A review would be nice to avoid confusing users.
@Ducasse Ducasse added Project: Documentation Documentation/Welcome/... Easy labels Mar 27, 2020
@myroslavarm myroslavarm mentioned this issue Apr 24, 2020
Open
@oliveiraallex
Copy link
Contributor

#6225

Ducasse added a commit that referenced this issue Apr 24, 2020
@Ducasse
Merge pull request #6225 from oliveiraallex/5952-PharoEnvironmentHelp…
4a37904 
…-outdated

#5952-PharoEnvironmentHelp-outdated
@CafeKrem
Copy link
Contributor

why this issue is still open when there is a PR merged ?
is there some work to do? it's a bit confusing

@MarcusDenker
Copy link
Member

if there is a "fixes #number" in the PR, the issue gets closed automatically. If not, it has to be closed manually.

I will close this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Easy Project: Documentation Documentation/Welcome/...
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@MarcusDenker @Ducasse @dvtomas @CafeKrem @oliveiraallex