Skip to content

Conversation

@taiki-e
Copy link
Owner

@taiki-e taiki-e commented Jun 14, 2020

Addresses #244 (comment)

@taiki-e taiki-e added C-documentation Category: related to documentation. A-project-attribute Area: #[project], #[project_ref], and #[project_replace] (note: this was removed in v1.0) labels Jun 14, 2020
@taiki-e
Copy link
Owner Author

taiki-e commented Jun 14, 2020

bors r+

@bors
Copy link
Contributor

bors bot commented Jun 14, 2020

Build succeeded:

@bors bors bot merged commit 5cea4fc into master Jun 14, 2020
@bors bors bot deleted the docs-deprecated branch June 14, 2020 02:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-project-attribute Area: #[project], #[project_ref], and #[project_replace] (note: this was removed in v1.0) C-documentation Category: related to documentation.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant