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

[Einstein Toolkit]

#2101: Add Lean_public and Proca thorns to the ET
--------------------------------------------------------+-------------------
  Reporter:  miguel.zilhao.nogueira@…                   |       Owner:                     
      Type:  enhancement                                |      Status:  confirmed          
  Priority:  major                                      |   Milestone:  ET_2018_08         
 Component:  EinsteinToolkit thorn                      |     Version:  development version
Resolution:                                             |    Keywords:  Lean_public        
--------------------------------------------------------+-------------------
Changes (by hinder):

  * priority:  unset => major
  * status:  new => confirmed


-- 
Ticket URL: <https://trac.einsteintoolkit.org/ticket/2101#comment:1>
Einstein Toolkit <http://einsteintoolkit.org>
The Einstein Toolkit