Skip to content
This repository was archived by the owner on Aug 2, 2022. It is now read-only.

Add trace_api logger [docs] - #9152

Merged
lparisc merged 4 commits into
developfrom
docs/sibling-pr-9113
May 29, 2020
Merged

lparisc merged 4 commits into
developfrom
docs/sibling-pr-9113

Conversation

@lparisc

@lparisc lparisc commented May 29, 2020

Copy link
Copy Markdown
Contributor

Change Description

up-port of PR #9113 to develop

Consensus Changes

  • Consensus Changes

API Changes

  • API Changes

Documentation Additions

  • Documentation Additions

@lparisc lparisc added the documentation Requires attention from documentation team. e.g. documentation is expected to be generated. label May 29, 2020
@lparisc
lparisc requested a review from johndebord May 29, 2020 21:56
@lparisc lparisc self-assigned this May 29, 2020
@lparisc lparisc changed the title Add trace_api logger to docs Add trace_api logger [docs] May 29, 2020

@johndebord johndebord left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM.

@lparisc
lparisc merged commit d61264b into develop May 29, 2020
@lparisc
lparisc deleted the docs/sibling-pr-9113 branch May 29, 2020 23:19
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

documentation Requires attention from documentation team. e.g. documentation is expected to be generated.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants