Closed RaulGracia closed 1 year ago
Change log description Merge new dev commits into master, so it is updated to the release version 0.13.0.
dev
master
Purpose of the change Fixes #345.
What the code does Merge dev into master.
How to verify it Branches dev and master should have identical histories of commit ids (use MERGE COMMIT option, NOT SQUASHING).
Change log description Merge new
devcommits intomaster, so it is updated to the release version 0.13.0.Purpose of the change Fixes #345.
What the code does Merge
devintomaster.How to verify it Branches
devandmastershould have identical histories of commit ids (use MERGE COMMIT option, NOT SQUASHING).