Processed: webkitgtk: use _ABI64 instead of _MIPS_SIM_ABI64 for mips64el

[Debian Bug Tracking System]

Processing control commands:

> clone -1 -2
Bug #789261 [src:webkitgtk] webkitgtk: use _ABI64 instead of _MIPS_SIM_ABI64 for mips64el
Bug 789261 cloned as bug 789262
> reassign -2 src:webkit2gtk 2.8.3+dfsg1-1
Bug #789262 [src:webkitgtk] webkitgtk: use _ABI64 instead of _MIPS_SIM_ABI64 for mips64el
Bug reassigned from package 'src:webkitgtk' to 'src:webkit2gtk'.
No longer marked as found in versions webkitgtk/2.4.9-1.
Ignoring request to alter fixed versions of bug #789262 to the same values previously set
Bug #789262 [src:webkit2gtk] webkitgtk: use _ABI64 instead of _MIPS_SIM_ABI64 for mips64el
Marked as found in versions webkit2gtk/2.8.3+dfsg1-1.
> retitle -2 webkit2gtk: use _ABI64 instead of _MIPS_SIM_ABI64 for mips64el
Bug #789262 [src:webkit2gtk] webkitgtk: use _ABI64 instead of _MIPS_SIM_ABI64 for mips64el
Changed Bug title to 'webkit2gtk: use _ABI64 instead of _MIPS_SIM_ABI64 for mips64el' from 'webkitgtk: use _ABI64 instead of _MIPS_SIM_ABI64 for mips64el'

-- 
789261: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=789261
789262: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=789262
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems