[php-maint] Processed: your mail

Debian Bug Tracking System owner at bugs.debian.org
Tue Jun 4 05:57:18 UTC 2013


Processing commands for control at bugs.debian.org:

> forcemerge 710808 710673
Bug #710808 {Done: "Thijs Kinkhorst" <thijs at debian.org>} [php5-common] libapache2-mod-php5: json_decode function not found, but should be built in
Bug #711026 {Done: Ondřej Surý <ondrej at sury.org>} [php5-common] [php5-common] json_encode and json_decode functions are missing
Bug #710673 {Done: Ondřej Surý <ondrej at debian.org>} [php5-common] [php5-common] JSON functions not available
Severity set to 'important' from 'minor'
Marked as found in versions php5/5.5.0~rc2+dfsg-2.
Bug #711026 {Done: Ondřej Surý <ondrej at sury.org>} [php5-common] [php5-common] json_encode and json_decode functions are missing
Marked as fixed in versions php5/5.5.0~rc2+dfsg-1.
Marked as fixed in versions php5/5.5.0~rc2+dfsg-1.
Marked as found in versions php5/5.5.0~rc2+dfsg-1.
Marked as found in versions php5/5.5.0~rc2+dfsg-1.
Bug #710673 {Done: Ondřej Surý <ondrej at debian.org>} [php5-common] [php5-common] JSON functions not available
Marked as fixed in versions php5/5.5.0~rc2+dfsg-1; no longer marked as fixed in versions 5.5.0~rc2+dfsg-1.
Merged 710673 710808 711026
>
End of message, stopping processing here.

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



More information about the pkg-php-maint mailing list