Skip to content
Snippets Groups Projects
Unverified Commit e37ac7fe authored by Justin Carpentier's avatar Justin Carpentier Committed by GitHub
Browse files

Merge pull request #503 from jcarpent/topic/release

Uniformization of git history between master and devel branches
parents 4947e157 f12f92dc
Branches
Tags
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment