[Android-tools-devel] Processed: merging 718175 736363

Wed Dec 31 10:27:17 UTC 2014

Processing commands for control at bugs.debian.org:

> merge 718175 736363
Bug #718175 [android-tools-adb] please ship adb documentation as part of the package
Bug #736363 [android-tools-adb] [android-tools-adb] Man page is not a man page
Marked as found in versions android-tools/4.2.2+git20130218-3.
Bug #718175 [android-tools-adb] please ship adb documentation as part of the package
Marked as found in versions android-tools/4.2.2+git20130529-3.
Merged 718175 736363
> thanks
Stopping processing here.

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