Pr/474#486

vscheuber wants to merge 2 commits intomainrockcarver/frodo-lib:mainfrom

pr/474rockcarver/frodo-lib:pr/474Copy head branch name to clipboard