Re: [ET Trac] [Einstein Toolkit] #2101: Add Lean_public and Proca thorns to the ET