Skip to content

Conversation

@matthewtlam
Copy link
Contributor

@matthewtlam matthewtlam commented Oct 16, 2025

Signed-off-by: Matthew Lam <matthew.lam.qwerty@gmail.com>
Copy link
Member

@smolkaj smolkaj left a comment

Choose a reason for hiding this comment

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

Thanks for the follow-up fixes!

@smolkaj
Copy link
Member

smolkaj commented Oct 16, 2025

@chrispsommers would you be able to take a quick look and merge if this looks good -- provided you agree that we don't need to wait until the next P4 API WG meeting in this case.

@chrispsommers chrispsommers merged commit f5187a2 into p4lang:main Oct 16, 2025
8 checks passed
@chrispsommers
Copy link
Collaborator

@chrispsommers would you be able to take a quick look and merge if this looks good -- provided you agree that we don't need to wait until the next P4 API WG meeting in this case.

RACE CONDITION! I was approving it while this e-mail was in transit. Merged!

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