[Rock-dev] [rock] #336: Rock-replay "type /int64_t already defined in registry (ArgumentError)"

[rock]

#336: Rock-replay "type /int64_t already defined in registry (ArgumentError)"
--------------------------+------------------------------------
 Reporter:  rdominguez    |       Owner:  rock-dev-mailing-list
     Type:  defect        |      Status:  closed
 Priority:  normal        |   Milestone:
Component:  base          |  Resolution:  fixed
 Keywords:  rock-display  |
--------------------------+------------------------------------
Changes (by mago02):

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


Comment:

 Hi Matthias,

 I just checked that after the last updates the error mentioned in the
 below ticket is no longer happening. Therefore the ticket could be closed.

 http://rock.opendfki.de/ticket/336


 Best regards,
 Raúl

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