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

[Einstein Toolkit]

#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


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