[ET Trac] [Einstein Toolkit] #827: merge bugfixes from Zelmani into main branch

[Einstein Toolkit]

#827: merge bugfixes from Zelmani into main branch
------------------------------------+---------------------------------------
  Reporter:  rhaas                  |       Owner:            
      Type:  defect                 |      Status:  closed    
  Priority:  major                  |   Milestone:  ET_2012_05
 Component:  EinsteinToolkit thorn  |     Version:            
Resolution:  fixed                  |    Keywords:            
------------------------------------+---------------------------------------
Changes (by rhaas):

  * status:  reviewed_ok => closed
  * resolution:  => fixed


Comment:

 all applied taking 2) into account.

-- 
Ticket URL: <https://trac.einsteintoolkit.org/ticket/827#comment:15>
Einstein Toolkit <http://einsteintoolkit.org>
The Einstein Toolkit