Processed: Re: Bug#414782: Unable to load "xf86ExecX86int10"

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> severity 414782 important
Bug#414782: Unable to load "xf86ExecX86int10"
Severity set to `important' from `normal'

> merge 410879 414782
Bug#410879: xserver-xorg-core: Dual-screen problem
Bug#414782: Unable to load "xf86ExecX86int10"
Merged 410879 414782.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)