Processed: Re: Bug#791996: O: ppl -- Parma Polyhedra Library
Processing control commands:
> retitle -1 ITA: ppl -- Parma Polyhedra Library
Bug #791996 [wnpp] O: ppl -- Parma Polyhedra Library
Changed Bug title to 'ITA: ppl -- Parma Polyhedra Library' from 'O: ppl -- Parma Polyhedra Library'
> owner -1 !
Bug #791996 [wnpp] ITA: ppl -- Parma Polyhedra Library
Owner recorded as Michael Tautschnig <mt@debian.org>.
--
791996: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=791996
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: