[php-maint] Processed: Merge #770150 & #770151

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forcemerge 770150 770151
Bug #770150 [php5] PHP5 stable after security upgrade: small bug
Bug #770150 [php5] PHP5 stable after security upgrade: small bug
There is no source info for the package 'php5' at version '5.4.35-0' with architecture ''
Unable to make a source version for version '5.4.35-0'
Marked as found in versions 5.4.35-0.
Bug #770151 [php5] PHP5 stable after security upgrade: small bug
Merged 770150 770151
> thanks
Stopping processing here.

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