Processed (with 1 error): reopen 1054231

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> Control:
Unknown command or malformed arguments to command.
> reopen 1054231
Bug #1054231 {Done: carnil@debian.org} [src:linux] WatchDog broken since version 5.17
Bug reopened
Ignoring request to alter fixed versions of bug #1054231 to the same values previously set
> thanks
Stopping processing here.

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