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