Pullrequest#2

MichaelDoerr wants to merge 3 commits intodomschrei:masterdomschrei/impcheck:masterfrom

MichaelDoerr:pullrequestMichaelDoerr/impcheck:pullrequestCopy head branch name to clipboard