Processed: tagging 802464

To: Ben Hutchings <ben@decadent.org.uk>
Cc: debian-kernel@lists.debian.org
Subject: Processed: tagging 802464
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sat, 24 Oct 2015 01:48:07 +0000
Message-id: <[🔎] handler.s.C.144565106827840.transcript@bugs.debian.org>
References: <1445651061-1069-bts-ben@decadent.org.uk>

Processing commands for control@bugs.debian.org:

> tags 802464 + fixed-upstream patch
Bug #802464 [src:linux] linux-image-4.3.0-rc5-amd64: Hyperthreaded cpu not enabled (Intel Core2) (smpboot: do_boot_cpu failed(-1) to wakeup CPU#1)
Added tag(s) fixed-upstream and patch.
> thanks
Stopping processing here.

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

Reply to:

Prev by Date: Bug#802746: linux-image bug
Next by Date: Bug#802464: Hyperthreaded cpu not enabled (smpboot: do_boot_cpu failed(-1) to wakeup CPU#1)
Previous by thread: Bug#802464: Hyperthreaded cpu not enabled (smpboot: do_boot_cpu failed(-1) to wakeup CPU#1)
Next by thread: Uploading linux (4.2.5-1)
Index(es):
- Date
- Thread