Pr/482#489

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

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