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

format: use type alias #12125

Merged
merged 3 commits into from
Jul 20, 2020
Merged

format: use type alias #12125

merged 3 commits into from
Jul 20, 2020

Conversation

tomocy
Copy link
Contributor

@tomocy tomocy commented Jul 16, 2020

Signed-off-by: tomocy [email protected]

Commit Message: format: use type alias
Additional Description: N/A
Risk Level: N/A
Testing: N/A
Docs Changes: N/A
Release Notes: N/A
Part of #11634

tomocy added 2 commits July 16, 2020 06:36
Signed-off-by: tomocy <[email protected]>
Signed-off-by: tomocy <[email protected]>
Signed-off-by: tomocy <[email protected]>
@junr03 junr03 self-assigned this Jul 16, 2020
@junr03
Copy link
Member

junr03 commented Jul 16, 2020

/azp run

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@dio
Copy link
Member

dio commented Jul 19, 2020

/azp run

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@junr03 junr03 merged commit 6f55a3e into envoyproxy:master Jul 20, 2020
KBaichoo pushed a commit to KBaichoo/envoy that referenced this pull request Jul 30, 2020
Commit Message: format: use type alias
Additional Description: N/A
Risk Level: N/A
Testing: N/A
Docs Changes: N/A
Release Notes: N/A
Part of envoyproxy#11634

Signed-off-by: tomocy <[email protected]>
Signed-off-by: Kevin Baichoo <[email protected]>
scheler pushed a commit to scheler/envoy that referenced this pull request Aug 4, 2020
Commit Message: format: use type alias
Additional Description: N/A
Risk Level: N/A
Testing: N/A
Docs Changes: N/A
Release Notes: N/A
Part of envoyproxy#11634

Signed-off-by: tomocy <[email protected]>
Signed-off-by: scheler <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants