[Rock-dev] [rock] #484: rock-display memory leak

[rock]

#484: rock-display memory leak
-----------------------------+---------------------
 Reporter:  christian.rauch  |       Owner:
     Type:  defect           |      Status:  closed
 Priority:  major            |   Milestone:
Component:  toolchain        |  Resolution:  fixed
 Keywords:  rock-display     |
-----------------------------+---------------------
Changes (by sylvain.joyeux):

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


Comment:

 I've pushed the relevant commit to next.

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