Processed: Re: Bugs #728936, #730789, #731939 are duplicates: no USB input in debian-installer due to missing ohci-pci
Processing control commands:
> reassign 728936 src:linux
Bug #728936 [installation-reports] Debian testing installer does not dectect USB keyboard.
Bug reassigned from package 'installation-reports' to 'src:linux'.
Ignoring request to alter found versions of bug #728936 to the same values previously set
Ignoring request to alter fixed versions of bug #728936 to the same values previously set
> reassign 731939 src:linux
Bug #731939 [debian-installer] debian-installer: USB input not functioning during install
Bug reassigned from package 'debian-installer' to 'src:linux'.
Ignoring request to alter found versions of bug #731939 to the same values previously set
Ignoring request to alter fixed versions of bug #731939 to the same values previously set
> forcemerge 730789 728936 731939
Bug #730789 [src:linux] cdimage.debian.org: Testing installation disables USB input devices
Bug #728936 [src:linux] Debian testing installer does not dectect USB keyboard.
Marked as found in versions linux/3.11.10-1.
Bug #731939 [src:linux] debian-installer: USB input not functioning during install
Marked as found in versions linux/3.11.10-1.
Added tag(s) d-i.
Merged 728936 730789 731939
--
728936: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=728936
730789: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=730789
731939: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=731939
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: