fix(stats): handle windows file project roots#453

jojosenthusiast wants to merge 1 commit into

scip-code:mainscip-code/scip:mainfrom

jojosenthusiast:fix-windows-file-urijojosenthusiast/scip:fix-windows-file-uriCopy head branch name to clipboard