[Rock-dev] [rock] #205: problem when updating autoproj

[rock]

#205: problem when updating autoproj
------------------------------+------------------------------------
 Reporter:  felix.rehrmann@…  |       Owner:  rock-dev-mailing-list
     Type:  defect            |      Status:  closed
 Priority:  major             |   Milestone:
Component:  toolchain         |  Resolution:  fixed
 Keywords:  autoproj update   |
------------------------------+------------------------------------
Changes (by sylvain.joyeux):

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


-- 
Ticket URL: <http://rock.opendfki.de/ticket/205#comment:2>
rock <http://rock.opendfki.de>
rock: the robot construction kit