Processed: ITP: herbie -- Synthesis for floating-point expressions

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

Processing commands for control@bugs.debian.org:

> close 928045
Bug #928045 [wnpp] ITP: herbie -- Synthesis for floating-point expressions
Marked Bug as done
> retitle 886481 ITP: herbie -- Synthesis for floating-point expressions
Bug #886481 [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 886481 Nicolas Braud-Santoni <nicoo@debian.org>
Bug #886481 [wnpp] ITP: herbie -- Synthesis for floating-point expressions
Owner recorded as Nicolas Braud-Santoni <nicoo@debian.org>.
>
End of message, stopping processing here.

Please contact me if you need assistance.
-- 
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