Skip to content
This repository has been archived by the owner on Jul 5, 2024. It is now read-only.

[MPTWG] Deadcode round #1590

Merged
merged 4 commits into from
Sep 14, 2023
Merged

[MPTWG] Deadcode round #1590

merged 4 commits into from
Sep 14, 2023

Conversation

ChihChengLiang
Copy link
Collaborator

@ChihChengLiang ChihChengLiang commented Sep 9, 2023

Description

Remove dead code in MPTWG to improve readability.

Issue Link

Type of change

Bug fix (non-breaking change which fixes an issue)

(wait CI update in #1591)

Copy link
Member

@ed255 ed255 left a comment

Choose a reason for hiding this comment

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

LGTM!

Copy link
Contributor

@rrtoledo rrtoledo left a comment

Choose a reason for hiding this comment

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

LGTM! :)

@ChihChengLiang ChihChengLiang added this pull request to the merge queue Sep 13, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Sep 13, 2023
@ChihChengLiang ChihChengLiang added this pull request to the merge queue Sep 14, 2023
Merged via the queue into main with commit 1bc1eef Sep 14, 2023
20 of 24 checks passed
@ChihChengLiang ChihChengLiang deleted the deadcode-round branch September 14, 2023 00:58
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

3 participants