Skip to content

Conversation

@ncoghlan
Copy link
Contributor

No description provided.

Copy link
Member

@MariattaMariatta left a comment

Choose a reason for hiding this comment

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

LGtM. Thanks, @ncoghlan :)

@Mariatta
Copy link
Member

Does this need backported?

@zware
Copy link
Member

The devguide is also linked in the Documentation section below; should it be removed from there since it's added at the top?

Copy link
Member

@vstinnervstinner left a comment

Choose a reason for hiding this comment

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

I suggest to remove the now redundant link to the devguide in the Documentation section.

@vstinnervstinner added the docs Documentation in the Doc dir label Feb 15, 2017
@ncoghlan
Copy link
ContributorAuthor

The online conflict resolution failed miserably, so I'll just close this and make a new PR

@ncoghlan
Copy link
ContributorAuthor

Replacement PR: #145

Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docsDocumentation in the Doc dir

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants

@ncoghlan@Mariatta@zware@vstinner@auvipy@the-knights-who-say-ni