bring back revert-update-doc.diff . was probably removed in a merge

This commit is contained in:
Sylvestre Ledru 2022-03-15 17:20:01 +01:00
parent 27ebc4a559
commit ad7c0eea73

View File

@ -149,3 +149,4 @@ compilerrt-build-scudo-standalone-option.diff
wasm-ld-path.diff
python3-scan-build.py
issue-54242.diff
revert-update-doc.diff