From owner at bugs.debian.org Thu May 14 17:05:03 2026 From: owner at bugs.debian.org (Debian Bug Tracking System) Date: Thu, 14 May 2026 16:05:03 +0000 Subject: Bug#1136173: marked as done (jenkins.debian.org: please don't reboot between x:00 and x:15) References: <6a05f220118f2_564d0c9572f@godard.mail> <7e2f5c3b-e8cf-4434-912c-984e1ce0ab4c@debian.org> Message-ID: Your message dated Thu, 14 May 2026 16:02:40 +0000 with message-id <6a05f220118f2_564d0c9572f at godard.mail> and subject line Bug#1136173 fixed in jenkins.debian.org has caused the Debian Bug report #1136173, regarding jenkins.debian.org: please don't reboot between x:00 and x:15 to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact owner at bugs.debian.org immediately.) -- 1136173: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1136173 Debian Bug Tracking System Contact owner at bugs.debian.org with problems -------------- next part -------------- An embedded message was scrubbed... From: Paul Gevers Subject: jenkins.debian.org: please don't reboot between x:00 and x:15 Date: Sun, 10 May 2026 14:57:10 +0200 Size: 6296 URL: -------------- next part -------------- An embedded message was scrubbed... From: Holger Levsen Subject: Bug#1136173 fixed in jenkins.debian.org Date: Thu, 14 May 2026 16:02:40 +0000 Size: 3324 URL: