Merge pull request #1142 from rust-lang/copy-is-copy

Actually copy to the clipboard

Author: shepmaster

ui/frontend/Output/Gist.tsx

@@ -38,6 +38,7 @@ const Copied: React.FC<CopiedProps> = ({ children, href }) => {
 
   const startCopy = useCallback(() => {
     setCopied(true);
+    window.navigator.clipboard.writeText(href);
 
     setTimeout(() => {
       setCopied(false);