EOS thorns other than EOS_Omni should be removed from ET

Issue #651 closed
Frank Löffler created an issue


Comments (3)

  1. Erik Schnetter
    • removed comment

    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?

  2. Log in to comment