Open jmark opened 4 months ago
This checklist is meant to assist creators of PRs (to let them know what reviewers will typically look for) and reviewers (to guide them in a structured review process). Items do not need to be checked explicitly for a PR to be eligible for merging.
NEWS.md
with its PR number.Created with :heart: by the Trixi.jl community.
Title says it all. This PR can only be merged after a new t8code release including PR https://github.com/DLR-AMR/t8code/pull/1047.