Commit 9a00e9e1ceb21d12f4c280ff29ff688991b994dd

Theo Buehler 2023-07-05T11:32:18

Remove patch that was merged into upstream