Processed: merge 861309 861312
Processing commands for control@bugs.debian.org:
> merge 861309 861312
Bug #861309 [release.debian.org] unblock Android SDK 7.0.0+r33
Bug #861312 [release.debian.org] unblock Android SDK 7.0.0+r33
Merged 861309 861312
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
861309: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=861309
861312: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=861312
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: