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.

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

Merge pull request #2257 from Varying-Vagrant-Vagrants/develop #2316

Merged
merged 1 commit into from
Dec 11, 2020
Merged

Merge pull request #2257 from Varying-Vagrant-Vagrants/develop #2316

merged 1 commit into from
Dec 11, 2020

Conversation

tomjn
Copy link
Member

@tomjn tomjn commented Dec 11, 2020

3.5.1 release

Checks

  • I've updated the changelog.
  • I've tested this PR
  • This PR is for the develop branch not the stable branch.
  • This PR is complete and ready for review.

@update-docs
Copy link

update-docs bot commented Dec 11, 2020 •
edited by unfurl-links bot
Loading

Thanks for opening this pull request! Make sure CHANGELOG.md gets updated with this change, additionally any docs that need updated can be found at https://github.com/Varying-Vagrant-Vagrants/varyingvagrantvagrants.org

GitHub
The VVV docs and website. Contribute to Varying-Vagrant-Vagrants/varyingvagrantvagrants.org development by creating an account on GitHub.

@tomjn tomjn merged commit f1c1194 into develop Dec 11, 2020
@Mte90 Mte90 deleted the stable branch February 25, 2021 12:49
@tomjn tomjn restored the stable branch February 25, 2021 16:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@tomjn