Skip to content
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.

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

Update to veris tags #1434

Merged
merged 2 commits into from Sep 5, 2019

Conversation

@Phrozyn
Copy link
Contributor

commented Aug 29, 2019

No description provided.

@Phrozyn Phrozyn changed the title Update to veris tags WIP Update to veris tags *not ready for merge* Aug 29, 2019

@Phrozyn Phrozyn changed the title WIP Update to veris tags *not ready for merge* Update to veris tags Sep 5, 2019

@pwnbus
pwnbus approved these changes Sep 5, 2019

@pwnbus pwnbus merged commit efa07a5 into master Sep 5, 2019

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details

@pwnbus pwnbus deleted the veris_tag_update branch Sep 5, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.