Merge pull request #137418 from r-ryantm/auto-update/gnome.devhelp
gnome.devhelp: 40.0 -> 40.1
authored by maxine [they] and committed by GitHub 4 years ago e91060f1 3fffb53b