Processed: forcibly merging 1014978 1073242

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forcemerge 1014978 1073242
Bug #1014978 [z3] Please update to newer upstream
Bug #1073242 [z3] Update 'z3' to latest version - 4.13.0.
Marked as found in versions z3/4.8.12-1.
Merged 1014978 1073242
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1014978: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014978
1073242: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1073242
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems