[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 sylvain.joyeux):

 Replying to [comment:3 jama01]:
 > Flavor is master.
 > Uhm there is no recent commit from you on tools/typelib, did you forget
 to push ?
 Just want to be sure where it is, that's all.

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