Skip to content

XEP-0065: Remove duplicate example#471

Merged
horazont merged 1 commit intoxsf:masterfrom
vanitasvitae:fix0065
Sep 15, 2017
Merged

XEP-0065: Remove duplicate example#471
horazont merged 1 commit intoxsf:masterfrom
vanitasvitae:fix0065

Conversation

@vanitasvitae
Copy link
Contributor

Example 10 was a duplicate (the stanza was a copy of ex. 9, the description a copy of example 11) so I removed it.

@horazont horazont added Editorial Changes All changes in the PR are purely editorial. Ready To Merge No acknowledgements of other parties are needed anymore. There may be changes to do at merge time. labels Aug 24, 2017
Copy link
Contributor

@horazont horazont left a comment

Choose a reason for hiding this comment

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

Looks fine to me. This removes normative language, but it is an exact duplicate of the above. The incorrect example (they are slightly different) is removed correctly.

@horazont horazont self-assigned this Aug 24, 2017
@horazont horazont added Needs Council The affected XEP has the Council as Approving Body and it needs to decide on the change. and removed Editorial Changes All changes in the PR are purely editorial. Ready To Merge No acknowledgements of other parties are needed anymore. There may be changes to do at merge time. labels Aug 24, 2017
@horazont
Copy link
Contributor

Kevin suggested to play it safe and let this pass through council.

@horazont
Copy link
Contributor

horazont commented Sep 1, 2017

Voting started on 2017-08-30, voting period ends on 2017-09-13.

@horazont horazont added Ready To Merge No acknowledgements of other parties are needed anymore. There may be changes to do at merge time. and removed Needs Council The affected XEP has the Council as Approving Body and it needs to decide on the change. labels Sep 11, 2017
@horazont horazont merged commit 24f0bd8 into xsf:master Sep 15, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Ready To Merge No acknowledgements of other parties are needed anymore. There may be changes to do at merge time.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants