EOS thorns other than EOS_Omni should be removed from ET

Create issue
Issue #651 closed
Frank Löffler created an issue

Keyword:

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