Merge commit '6007ddad' into manualmerge

Keep master, drop the merge changes.