Processed: Re: Bug#919461: ssreflect ftbfs in unstable

To: Benjamin Barenblat <bbaren@debian.org>
Cc: bbaren@debian.org, debian-ocaml-maint@lists.debian.org
Subject: Processed: Re: Bug#919461: ssreflect ftbfs in unstable
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Thu, 07 Feb 2019 17:54:07 +0000
Message-id: <[🔎] handler.s.B919461.154956191928507.transcript@bugs.debian.org>
References: <[🔎] 877eebtrk5.jfx@benwick.benjamin.barenblat.name> <40116f71-3e82-dfd9-f623-201c1c0de311@debian.org>

Processing control commands:

> retitle 919461 ssreflect FTBFS in unstable
Bug #919461 [src:ssreflect] ssreflect FTBFS in unstable due to missing ssrmatching
Changed Bug title to 'ssreflect FTBFS in unstable' from 'ssreflect FTBFS in unstable due to missing ssrmatching'.
> noowner 919461
Bug #919461 [src:ssreflect] ssreflect FTBFS in unstable
Removed annotation that Bug was owned by Benjamin Barenblat <bbaren@debian.org>.

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

Reply to:

References:
- Bug#919461: ssreflect ftbfs in unstable
  - From: Benjamin Barenblat <bbaren@debian.org>

Prev by Date: Bug#919461: ssreflect ftbfs in unstable
Next by Date: Bug#920589: coqide is not longer packaged for amd64
Previous by thread: Bug#919461: ssreflect ftbfs in unstable
Next by thread: Bug#919461: ssreflect ftbfs in unstable
Index(es):
- Date
- Thread