Skip to content

Uniwill change to dev branch#1940

Merged
diogotr7 merged 39 commits intoantonpup:devfrom
rushdie99:dev
May 12, 2020
Merged

Uniwill change to dev branch#1940
diogotr7 merged 39 commits intoantonpup:devfrom
rushdie99:dev

Conversation

@rushdie99
Copy link
Contributor

From master to dev.

@diogotr7
Copy link
Collaborator

diogotr7 commented May 8, 2020

I have resolved the merge conflict and made some whitespace and code style changes locally, which will not affect any of the functionality. Is it okay if i push these changes here to finally merge into dev? @rushdie99

@diogotr7 diogotr7 merged commit d819b06 into antonpup:dev May 12, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants