Skip to content

Re-enable tulsi#1200

Merged
philwo merged 1 commit intobazelbuild:masterfrom
keith:ks/re-enable-tulsi
Aug 8, 2021
Merged

Re-enable tulsi#1200
philwo merged 1 commit intobazelbuild:masterfrom
keith:ks/re-enable-tulsi

Conversation

@keith
Copy link
Copy Markdown
Member

@keith keith commented Aug 8, 2021

@philwo
Copy link
Copy Markdown
Member

philwo commented Aug 8, 2021

Nice, thank you!

@philwo philwo merged commit c75b46d into bazelbuild:master Aug 8, 2021
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