#651: EOS thorns other than EOS_Omni should be removed from ET -------------------+-------------------------------------------------------- Reporter: knarf | Owner: Type: task | Status: new Priority: minor | Milestone: ET_2012_05 Component: Other | Version: development version Keywords: | -------------------+--------------------------------------------------------
#651: EOS thorns other than EOS_Omni should be removed from ET --------------------+------------------------------------------------------- Reporter: knarf | Owner: Type: task | Status: new Priority: minor | Milestone: ET_2012_05 Component: Other | Version: development version Resolution: | Keywords: --------------------+-------------------------------------------------------
Comment (by eschnett):
I believe this was discussed in a telecon, and the consensus was to leave the old thorns around for the time being. Is this correct?
#651: EOS thorns other than EOS_Omni should be removed from ET --------------------+------------------------------------------------------- Reporter: knarf | Owner: Type: task | Status: closed Priority: minor | Milestone: ET_2012_05 Component: Other | Version: development version Resolution: fixed | Keywords: --------------------+------------------------------------------------------- Changes (by knarf):
* status: new => closed * resolution: => fixed
Comment:
EOSG_* was removed, EOS_* should remain.
trac@lists.einsteintoolkit.org