Skip to content

Make header configurable#12

Merged
st0012 merged 3 commits intomasterfrom
make-header-configurable
May 28, 2023
Merged

Make header configurable#12
st0012 merged 3 commits intomasterfrom
make-header-configurable

Conversation

@st0012
Copy link
Copy Markdown
Member

@st0012 st0012 commented May 27, 2023

Trace header is important for distinguishing multiple tracers' output, so it should be configurable when initialising individual tracers.

@st0012 st0012 added the enhancement New feature or request label May 27, 2023
@st0012 st0012 merged commit a66fe46 into master May 28, 2023
@st0012 st0012 deleted the make-header-configurable branch May 28, 2023 09:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant