add merge queue for 25.11#212

wolfgangwalther merged 1 commit intoNixOS:mainNixOS/org:mainfrom

jopejoe1:25.11-branch-offjopejoe1/org:25.11-branch-offCopy head branch name to clipboard