#2101: Add Lean_public and Proca thorns to the ET

Reporter:	Miguel Zilhão
Status:	open
Milestone:	ET_2018_08
Version:	development version
Type:	enhancement
Priority:	minor
Component:	EinsteinToolkit thorn

ok (and also using this to test the ticket email script).

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2101/add-lean_public-and-proca-thorns-to-the-et