CompatHelper: bump compat for Trixi to 0.15, (keep existing compat)#140
Open
github-actions[bot] wants to merge 1 commit into
Open
CompatHelper: bump compat for Trixi to 0.15, (keep existing compat)#140github-actions[bot] wants to merge 1 commit into
github-actions[bot] wants to merge 1 commit into