#827: merge bugfixes from Zelmani into main branch ------------------------------------+--------------------------------------- Reporter: rhaas | Owner: Type: defect | Status: review_ok Priority: major | Milestone: Component: EinsteinToolkit thorn | Version: Resolution: | Keywords: ------------------------------------+--------------------------------------- Changes (by rhaas):
* status: review => review_ok