Processed: Updating metadata

To: Diederik de Haas <didi.debian@cknow.org>
Cc: debian-kernel@lists.debian.org
Subject: Processed: Updating metadata
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sat, 10 Dec 2016 13:15:03 +0000
Message-id: <[🔎] handler.s.C.148137556310976.transcript@bugs.debian.org>
References: <1567692.TiXcdyvWOY@bagend>

Processing commands for control@bugs.debian.org:

> notfound 837200 3.16.36-1+deb8u1
Bug #837200 {Done: Diederik de Haas <didi.debian@cknow.org>} [src:linux] linux-image-3.16.0-4-amd64: kernel crash: /build/linux-7z1rSb/linux-3.16.7-ckt25/net/sched/sch_generic.c:264 dev_watchdog+0x236/0x240()
No longer marked as found in versions linux/3.16.36-1+deb8u1.
>
End of message, stopping processing here.

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

Reply to:

Prev by Date: Re: [PATCH] x86/kbuild: enable modversions for symbols exported from asm
Next by Date: Bug#785419: systemd: with 2 RTC devices -- need way to chose which one sets system clock on boot
Previous by thread: Bug#837200: marked as done (linux-image-3.16.0-4-amd64: kernel crash: /build/linux-7z1rSb/linux-3.16.7-ckt25/net/sched/sch_generic.c:264 dev_watchdog+0x236/0x240())
Next by thread: Bug#785419: systemd: with 2 RTC devices -- need way to chose which one sets system clock on boot
Index(es):
- Date
- Thread