Closed kbjarkefur closed 3 years ago
Final review of sidenote URLs. Merge when all comments in https://paper.dropbox.com/doc/Non-WB-links--A8Lhafj_w6ktH7H6Pw4A4v~5Ag-6E8IWNOHLbUSG2Vtejgjn are either removed or end with a "done".
Final review of sidenote URLs. Merge when all comments in https://paper.dropbox.com/doc/Non-WB-links--A8Lhafj_w6ktH7H6Pw4A4v~5Ag-6E8IWNOHLbUSG2Vtejgjn are either removed or end with a "done".