[Rock-dev] [rock] #444: Rock-replay crashed if std::vector is resized and displayed

[rock]

#444: Rock-replay crashed if std::vector is resized and displayed
-----------------------+------------------
 Reporter:  jama01     |       Owner:
     Type:  defect     |      Status:  new
 Priority:  major      |   Milestone:
Component:  toolchain  |  Resolution:
 Keywords:             |
-----------------------+------------------

Comment (by jama01):

 Flavor is master.
 Uhm there is no recent commit from you on tools/typelib, did you forget to
 push ?

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