Include an additional cherry-pick

This commit is contained in:
Nikita Popov 2023-12-14 16:05:39 +01:00
parent 5a8d6e784d
commit 601d52a703

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