Skip to content

Google sync#1348

Merged
rchen152 merged 6 commits into
mainfrom
google_sync
Jan 11, 2023
Merged

Google sync#1348
rchen152 merged 6 commits into
mainfrom
google_sync

Conversation

@rchen152

Copy link
Copy Markdown
Contributor

No description provided.

rchen152 and others added 6 commits January 10, 2023 23:16
Fixes #1342.

PiperOrigin-RevId: 501113400
PiperOrigin-RevId: 501190342
Our oss build system doesn't seem to support depending on individual files, but
it can do filegroups.

PiperOrigin-RevId: 501190882
@rchen152 rchen152 merged commit 6bbf172 into main Jan 11, 2023
@rchen152 rchen152 deleted the google_sync branch January 11, 2023 07:54
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