Skip to content

doc fix#123

Merged
aiuto merged 1 commit intobazelbuild:mainfrom
aiuto:dd
Oct 28, 2023
Merged

doc fix#123
aiuto merged 1 commit intobazelbuild:mainfrom
aiuto:dd

Conversation

@aiuto
Copy link
Copy Markdown
Collaborator

@aiuto aiuto commented Oct 28, 2023

Just a sync

@aiuto aiuto requested a review from mzeren-vmw October 28, 2023 07:56
Copy link
Copy Markdown
Collaborator

@mzeren-vmw mzeren-vmw left a comment

Choose a reason for hiding this comment

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

LGTM

@aiuto aiuto merged commit 54d8464 into bazelbuild:main Oct 28, 2023
@aiuto aiuto deleted the dd branch October 28, 2023 08:52
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.

2 participants