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.

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

Use actual title of the linked document #383

Merged
merged 1 commit into from
Mar 11, 2020
Merged

Use actual title of the linked document #383

merged 1 commit into from
Mar 11, 2020

Conversation

koalie
Copy link
Contributor

@koalie koalie commented Feb 17, 2020

Using "Art of Consensus" here too, instead of "Member Guide".
cf. #371

Using "Art of Consensus" here too, instead of "Member Guide".
cf. #371
@dwsinger dwsinger changed the title Editorial Use actual title of the linked document Feb 25, 2020
@frivoal frivoal merged commit 3b32149 into master Mar 11, 2020
@frivoal frivoal deleted the koalie-patch-14 branch March 11, 2020 08:07
@frivoal frivoal added the Closed: Accepted The issue has been addressed, though not necessarily based on the initial suggestion label Mar 11, 2020
@frivoal frivoal added this to the Process 2020 milestone Mar 11, 2020
@frivoal frivoal added the DoC This has been referenced from a Disposition of Comments (or predates the use of DoCs) label Mar 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Closed: Accepted The issue has been addressed, though not necessarily based on the initial suggestion DoC This has been referenced from a Disposition of Comments (or predates the use of DoCs) Type: Editorial improvements
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants