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

chore: minor cleanups #1573

Merged
merged 1 commit into from
Nov 30, 2021
Merged

chore: minor cleanups #1573

merged 1 commit into from
Nov 30, 2021

Conversation

chanseokoh
Copy link
Contributor

http_archive is already loaded at the top.

@chanseokoh chanseokoh requested a review from meltsufin November 30, 2021 15:37
@chanseokoh chanseokoh requested review from a team as code owners 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