headers: Sync with upstream commit 86dd3f312 (4.0-alpha16)

pull/833/head
Rémi Verschelde 2022-09-07 13:17:03 +02:00
parent 446cacde15
commit 0d7da02dc4
1 changed files with 7137 additions and 1091 deletions

File diff suppressed because it is too large Load Diff