Processed: Re: Bug#886481: RFP: herbie -- Synthesis for floating-point expressions

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing control commands:

> clone -1 -2
Bug #886481 [wnpp] RFP: herbie -- Synthesis for floating-point expressions
Bug 886481 cloned as bug 928045
> retitle -2 ITP: herbie -- Synthesis for floating-point expressions
Bug #928045 [wnpp] RFP: herbie -- Synthesis for floating-point expressions
Changed Bug title to 'ITP: herbie -- Synthesis for floating-point expressions' from 'RFP: herbie -- Synthesis for floating-point expressions'.
> owner -2 !
Bug #928045 [wnpp] ITP: herbie -- Synthesis for floating-point expressions
Owner recorded as Nicolas Braud-Santoni <nicoo@debian.org>.
> block -1 by -2
Bug #886481 [wnpp] RFP: herbie -- Synthesis for floating-point expressions
886481 was not blocked by any bugs.
886481 was not blocking any bugs.
Added blocking bug(s) of 886481: 928045

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