merge queue: embarking master (9389b27) and #12023 together#12053

Closed

mergify[bot] wants to merge 3 commits intomasterfrom mergify/merge-queue/d30a725185

+26-24

Commits on Dec 6, 2024

Test: more specific error message for head
mightyiam
committed

Commits on Dec 9, 2024

Improve error messages for head/elemAt
edolstra
committed

Commits on Dec 14, 2024

Merge of #12023
mergify[bot]
authored