Re: [ET Trac] [Einstein Toolkit] #1116: changing library options in optionlist does'nt trigger rebuild of depending thorns

#1116: changing library options in optionlist does'nt trigger rebuild of depending thorns ------------------------+--------------------------------------------------- Reporter: knarf | Owner: Type: defect | Status: closed Priority: minor | Milestone: Component: Cactus | Version: development version Resolution: duplicate | Keywords: ------------------------+--------------------------------------------------- Changes (by rhaas):

* status: new => closed * resolution: => duplicate