Processed: Re: Processed: Re: Bug#711584: gnome-control-center: *** Error in `gnome-control-center': free(): invalid pointer: 0x00007f6e3619c000 ***

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> found 711584 1.8.1-3.4
Bug #711584 [libjavascriptcoregtk-3.0-0] gnome-control-center: *** Error in `gnome-control-center': free(): invalid pointer: 0x00007f6e3619c000 ***
Marked as found in versions webkit/1.8.1-3.4.
> fixed 711584 1.11.91-1
Bug #711584 [libjavascriptcoregtk-3.0-0] gnome-control-center: *** Error in `gnome-control-center': free(): invalid pointer: 0x00007f6e3619c000 ***
Marked as fixed in versions webkitgtk/1.11.91-1.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
711584: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=711584
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems