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 <[email protected]>. > 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 [email protected] with problems
