Re: [ET Trac] [Einstein Toolkit] #1365: Kranc-generated thorns should be regenerated before the release

#1365: Kranc-generated thorns should be regenerated before the release ---------------------+------------------------------------------------------ Reporter: hinder | Owner: Type: defect | Status: new Priority: major | Milestone: ET_2013_11 Component: Other | Version: Resolution: | Keywords: ---------------------+------------------------------------------------------

Comment (by barry.wardell):

Backporting seems like a good idea to me. The changes are not really that dramatic - just renaming a couple of conflicting symbol names. If others agree, then I will backport the commit to the release branch.