#827: merge bugfixes from Zelmani into main branch -----------------------------------+---------------------------------------- Reporter: rhaas | Owner: Type: defect | Status: new Priority: major | Milestone: Component: EinsteinToolkit thorn | Version: Keywords: | -----------------------------------+---------------------------------------- A while ago we moved GRMHD development (for various reasons) from the main repository into a git repository (Zelmani). Since then we have accumulated a number of (important) bugfixes (in particular for MHD but also for other subsystems) in that repository.
Should we mere them back (this soon before the release)?