[Rock-dev] [rock] #291: stable: tools/orogen

[rock]

#291: stable: tools/orogen
--------------------+------------------------------------
 Reporter:  thro02  |       Owner:  rock-dev-mailing-list
     Type:  defect  |      Status:  closed
 Priority:  major   |   Milestone:
Component:  base    |  Resolution:  fixed
 Keywords:          |
--------------------+------------------------------------
Changes (by thro02):

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


Comment:

 Fixed by commit bea8dd

-- 
Ticket URL: <https://rock.opendfki.de/ticket/291#comment:1>
rock <https://rock.opendfki.de>
rock: the robot construction kit