Merge pull request #226057 from tweag/fix-function-location-revision
doc: Fix the function locations always pointing to master
authored by Silvan Mosberger and committed by GitHub 2 years ago 83c76b92 eccf02f8