CompatHelper: add new compat entry for Trixi at version 0.12 for package docs, (keep existing compat)#72

github-actions[bot] wants to merge 1 commit intomainDanielDoehring/Trixi.jl:mainfrom

compathelper/new_version/2025-07-18-01-17-18-795-01484966999DanielDoehring/Trixi.jl:compathelper/new_version/2025-07-18-01-17-18-795-01484966999Copy head branch name to clipboard