Skip to content

Fix for applying previous mapping#71

Merged
MaximMoinat merged 7 commits intodevelopfrom
apply-previous
May 14, 2020
Merged

Fix for applying previous mapping#71
MaximMoinat merged 7 commits intodevelopfrom
apply-previous

Conversation

@MaximMoinat
Copy link
Copy Markdown
Collaborator

@MaximMoinat MaximMoinat commented May 2, 2020

Also add source codes not present in the current file. This did raise an error, but did not show the new codes.

Potentially fixes #62 and fixes #54

@MaximMoinat MaximMoinat changed the base branch from master to develop May 2, 2020 19:03
@MaximMoinat MaximMoinat mentioned this pull request May 3, 2020
@MaximMoinat MaximMoinat merged commit 0bdfba3 into develop May 14, 2020
@delete-merged-branch delete-merged-branch bot deleted the apply-previous branch May 14, 2020 14:36
@MaximMoinat MaximMoinat mentioned this pull request Jun 19, 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.

Applying old mapping

1 participant