javascript-path.patch
Avoid-developer-tests.patch
ignore-gpg-errors.diff
ignore-random-oidc-errors.diff
fix-bad-export.diff
