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

Formatting #2080

Merged
merged 6 commits into from
Feb 7, 2020
Merged

Formatting #2080

merged 6 commits into from
Feb 7, 2020

Conversation

jetersen
Copy link
Contributor

@jetersen jetersen commented Feb 5, 2020

After formatting there were some failing test cases because of formatting.

@jetersen jetersen closed this Feb 7, 2020
@jetersen jetersen reopened this Feb 7, 2020
@arturcic
Copy link
Member

arturcic commented Feb 7, 2020

@Casz, there is an issue with the build right now. so I'll updated you when we can continue reviewing the PRs

@arturcic arturcic added this to the 5.1.4 milestone Feb 7, 2020
@arturcic arturcic merged commit 86e961f into GitTools:master Feb 7, 2020
@arturcic
Copy link
Member

arturcic commented Feb 7, 2020

@Casz thank you so much for your contributions 👍

@jetersen jetersen deleted the formatting branch February 10, 2020 04:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants