Merge remote-tracking branch 'origin/peters-branch' into leo#4

leoduman wants to merge 1 commit intomainIGNW/git-workshop:mainfrom

leoIGNW/git-workshop:leoCopy head branch name to clipboard