dev: disable vendoring #1031

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

ernado merged 1 commit into master from disable-vendoring

Apr 21, 2020

Member

ernado commented Apr 21, 2020

Fix #743


          dev: disable vendoring

ef317c4

Fix #743

ernado merged commit 1905465 into master

delete-merged-branch bot deleted the disable-vendoring branch

April 21, 2020 23:03

ldez added this to the v1.25 milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet