Nicolas#5

NicolasLook wants to merge 3 commits intoir-lab:mainir-lab/Diff-Control:mainfrom

NicolasLook:nicolasNicolasLook/Diff-Control:nicolasCopy head branch name to clipboard