Merge pull request #265115 from wahjava/update-fossil
fossil: 2.22 -> 2.23
authored by Peder Bergebakken Sundt and committed by GitHub 2 years ago fccf09d1 12a0ade5