Include an additional cherry-pick

(cherry picked from commit 601d52a7031f0f57562b661c99d30b4035d7b4af)
This commit is contained in:
Nikita Popov 2023-12-14 16:05:39 +01:00 committed by Josh Stone
parent 737de5b51e
commit ff1c216bfa

@ -1 +1 @@
Subproject commit 17a687b23d22332fce6ba0aade180a30d06cfa62
Subproject commit 2c4de6c2492d5530de3f19f41d8f88ba984c2fe2