Re: [ET Trac] [Einstein Toolkit] #651: EOS thorns other than EOS_Omni should be removed from ET

#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?