Skip to content

Documented the new Dump Server #9783

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 2 commits into from
Closed

Documented the new Dump Server #9783

wants to merge 2 commits into from

Conversation

javiereguiluz
Copy link
Member

This fixes #9474.

@javiereguiluz javiereguiluz added this to the 4.1 milestone May 16, 2018
linaori
linaori approved these changes May 17, 2018
View reviewed changes
Copy link
Contributor

@linaori linaori left a comment

Choose a reason for hiding this comment

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

Calling it a "dedicated server" makes me think of hosting related stuff, but that's probably because I work in the hosting branch. I also have no other name suggestion, so I think this is good to go.

@javiereguiluz
Copy link
Member Author

@iltar I removed the "dedicated" word because I didn't like it either. Thanks for the review!

javiereguiluz added a commit that referenced this pull request May 17, 2018
@javiereguiluz
minor #9783 Documented the new Dump Server (javiereguiluz)
3cd9ccd 
This PR was squashed before being merged into the 4.1 branch (closes #9783).

Discussion
----------

Documented the new Dump Server

This fixes #9474.

Commits
-------

3eb53d3 Documented the new Dump Server
@javiereguiluz javiereguiluz mentioned this pull request May 17, 2018
Closed
@javiereguiluz javiereguiluz deleted the fix_9474 branch May 24, 2018 16:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@linaori linaori linaori approved these changes

Assignees
No one assigned
Labels
Status: Reviewed VarDumper
Projects
None yet
Milestone
4.1
Development

Successfully merging this pull request may close these issues.
3 participants
@javiereguiluz @linaori @carsonbot