Skip to content
This repository was archived by the owner on Feb 5, 2025. It is now read-only.

Fix internal build issues, minor cleanup. #1231

Merged
merged 1 commit into from
Nov 9, 2023
Merged

Fix internal build issues, minor cleanup. #1231

merged 1 commit into from
Nov 9, 2023

Conversation

@mlw
Copy link
Contributor

@mlw mlw commented Nov 9, 2023

No description provided.

@mlw mlw added this to the 2023.10 Release milestone Nov 9, 2023
@mlw mlw requested a review from a team as a code owner November 9, 2023 21:50
pmarkowsky
pmarkowsky approved these changes Nov 9, 2023
View reviewed changes
Copy link
Contributor

@pmarkowsky pmarkowsky left a comment

Choose a reason for hiding this comment

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

LGTM.
@mlw mlw merged commit edac42e into google:main Nov 9, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

build cleanup

2 participants

@mlw @pmarkowsky