Your message dated Mon, 19 Nov 2018 19:27:33 +0100 with message-id <d7470fe4-0184-2ee8-3cf6-2084355e72ff@debian.org> and subject line Re: Bug#914084: nmu: why3_1.1.0-1 has caused the Debian Bug report #914084, regarding nmu: why3_1.1.0-1 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@bugs.debian.org immediately.) -- 914084: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=914084 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: nmu: why3_1.1.0-1
- From: Ralf Treinen <treinen@debian.org>
- Date: Mon, 19 Nov 2018 08:54:06 +0100
- Message-id: <[🔎] 154261404635.6847.289089556772855579.reportbug@seneca.home.org>
Package: release.debian.org Severity: normal User: release.debian.org@packages.debian.org Usertags: binnmu nmu why3_1.1.0-1 . ANY . unstable . -m "rebuild against menhir 20181113" -- System Information: Debian Release: buster/sid APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.18.0-2-amd64 (SMP w/4 CPU cores) Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.utf8), LANGUAGE=en_US:en (charmap=UTF-8) (ignored: LC_ALL set to en_US.utf8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled
--- End Message ---
--- Begin Message ---
- To: Ralf Treinen <treinen@debian.org>, 914084-done@bugs.debian.org
- Subject: Re: Bug#914084: nmu: why3_1.1.0-1
- From: Emilio Pozuelo Monfort <pochu@debian.org>
- Date: Mon, 19 Nov 2018 19:27:33 +0100
- Message-id: <d7470fe4-0184-2ee8-3cf6-2084355e72ff@debian.org>
- In-reply-to: <[🔎] 154261404635.6847.289089556772855579.reportbug@seneca.home.org>
- References: <[🔎] 154261404635.6847.289089556772855579.reportbug@seneca.home.org>
On 19/11/2018 08:54, Ralf Treinen wrote: > Package: release.debian.org > Severity: normal > User: release.debian.org@packages.debian.org > Usertags: binnmu > > nmu why3_1.1.0-1 . ANY . unstable . -m "rebuild against menhir 20181113" Done. Emilio
--- End Message ---