Skip to content
This repository was archived by the owner on Sep 26, 2023. It is now read-only.

chore: minor cleanups - #1573

Merged
chanseokoh merged 1 commit into
mainfrom
cleanups
Nov 30, 2021
Merged

chore: minor cleanups#1573
chanseokoh merged 1 commit into
mainfrom
cleanups

Conversation

@chanseokoh

Copy link
Copy Markdown
Contributor

http_archive is already loaded at the top.

@chanseokoh
chanseokoh requested review from a team and meltsufin November 30, 2021 15:37
@google-cla google-cla Bot added the cla: yes This human has signed the Contributor License Agreement. label Nov 30, 2021
@chanseokoh
chanseokoh merged commit 6e12445 into main Nov 30, 2021
@chanseokoh
chanseokoh deleted the cleanups branch November 30, 2021 15:49
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

cla: yes This human has signed the Contributor License Agreement.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants