Skip to content

Conversation

@justinhorvitz
Copy link
Contributor

No description provided.

@github-actions github-actions bot added the awaiting-review PR is awaiting review from an assigned reviewer label Nov 30, 2023
@github-actions github-actions bot removed the awaiting-review PR is awaiting review from an assigned reviewer label Nov 30, 2023
tjgq pushed a commit to tjgq/bazel that referenced this pull request Jan 11, 2024
Closes bazelbuild#20394.

PiperOrigin-RevId: 586723311
Change-Id: I4a12af0d3a728686b6db3852f2e4740c888fd2d2
github-merge-queue bot pushed a commit that referenced this pull request Jan 11, 2024
Closes #20394.

PiperOrigin-RevId: 586723311
Change-Id: I4a12af0d3a728686b6db3852f2e4740c888fd2d2

Co-authored-by: Justin Horvitz <[email protected]>
@Wyverald Wyverald deleted the justinhorvitz-patch-1 branch February 16, 2024 03:49
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