[Rock-dev] [rock] #282: roby add-robot fails

[rock]

#282: roby add-robot fails
-----------------------+------------------------------------
 Reporter:  anonymous  |       Owner:  rock-dev-mailing-list
     Type:  defect     |      Status:  closed
 Priority:  trivial    |   Milestone:
Component:  toolchain  |  Resolution:  fixed
 Keywords:             |
-----------------------+------------------------------------
Changes (by sylvain.joyeux):

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


Comment:

 Fixed on master (next does not have this particular issue)

 Thanks !

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