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

packet list の変数名が pli と pl で表記ゆれしていたのを pl に統一する #563

Merged
merged 1 commit into from
May 10, 2023

Conversation

meltingrabbit
Copy link
Collaborator

概要

packet list の変数名が pli と pl で表記ゆれしていたのを pl に統一する

検証結果

CI がとおればOK

@meltingrabbit meltingrabbit added the priority::medium priority medium label May 8, 2023
@meltingrabbit meltingrabbit requested review from chutaro and flap1 May 8, 2023 16:53
@meltingrabbit meltingrabbit self-assigned this May 8, 2023
@meltingrabbit meltingrabbit force-pushed the feature/sed_pli_to_pl branch from ac6ee08 to e7250f3 Compare May 10, 2023 02:33
@meltingrabbit meltingrabbit merged commit bc7ddd4 into develop May 10, 2023
@meltingrabbit meltingrabbit deleted the feature/sed_pli_to_pl branch May 10, 2023 02:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
priority::medium priority medium
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants