Processed: with the reproducer

To: Nicolas Boulenguez <nicolas@debian.org>
Cc: debian-gcc@lists.debian.org
Subject: Processed: with the reproducer
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Wed, 28 Jun 2017 16:30:14 +0000
Message-id: <[🔎] handler.s.B866029.14986672622902.transcript@bugs.debian.org>
References: <[🔎] 20170628162736.su27b75hjas3arq6@pegase> <[🔎] 20170626184827.yke2kz73mpylsixb@pegase>

Processing control commands:

> tags -1 + pending
Bug #866029 [gnat-7] gnat-7: support for SOURCE_DATE_EPOCH triggers unneeded recompilations
Added tag(s) pending.

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

Reply to:

References:
- Bug#866029: with the reproducer
  - From: Nicolas Boulenguez <nicolas@debian.org>
- Bug#866029: gnat-7: support for SOURCE_DATE_EPOCH triggers unneeded recompilations
  - From: Nicolas Boulenguez <nicolas@debian.org>

Prev by Date: Processing of gcc-6_6.3.0-20_source.changes
Next by Date: Bug#866029: with the reproducer
Previous by thread: Bug#866029: gnat-7: support for SOURCE_DATE_EPOCH triggers unneeded recompilations
Next by thread: Bug#866029: marked as done (gnat-7: support for SOURCE_DATE_EPOCH triggers unneeded recompilations)
Index(es):
- Date
- Thread