Processed: Re: z3: cannot be built on buildds

[Debian Bug Tracking System]

Processing control commands:

> retitle -1 cannot migrate to testing
Bug #948763 [src:z3] z3: cannot be built on buildds
Changed Bug title to 'cannot migrate to testing' from 'z3: cannot be built on buildds'.

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