Skip to content

Master into Develop

Alejo Carballude requested to merge master into develop

Change

This PR merges the changes in master back to Develop so that the two branches can be in sync.

Other information

We need to change our git workflow, as this situation will keep happening in the future.

Reviewers

@marcoshuck

Merge request reports