Processed: Re: Bug#1033838: release.debian.org: Pre-merge review for devscripts

To: Paul Gevers <elbrus@debian.org>
Cc: debian-release@lists.debian.org
Subject: Processed: Re: Bug#1033838: release.debian.org: Pre-merge review for devscripts
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sun, 16 Apr 2023 20:27:03 +0000
Message-id: <[🔎] handler.s.B1033838.1681676578510746.transcript@bugs.debian.org>
References: <[🔎] ab68f869-d87c-4500-44e8-dfff714e6db6@debian.org> <[🔎] 168044588200.1686860.2479133873662286317.reportbug@deep-thought>

Processing control commands:

> tags -1 moreinfo
Bug #1033838 [release.debian.org] unblock: devscripts [pre-approval]
Added tag(s) moreinfo.

-- 
1033838: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1033838
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#1033838: release.debian.org: Pre-merge review for devscripts
  - From: Paul Gevers <elbrus@debian.org>
- Bug#1033838: release.debian.org: Pre-merge review for devscripts
  - From: Benjamin Drung <bdrung@debian.org>

Prev by Date: Bug#1034381: marked as done (unblock: opm-simulators/2022.10+ds-2)
Next by Date: Bug#1033838: release.debian.org: Pre-merge review for devscripts
Previous by thread: Bug#1033838: release.debian.org: Pre-merge review for devscripts
Next by thread: Bug#1033838: release.debian.org: Pre-merge review for devscripts
Index(es):
- Date
- Thread