Processed: found 817023 in 1.65, tagging 817023

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> found 817023 1.65
Bug #817023 [os-prober] os-prober doesn't detect EFI partition on MBR
Marked as found in versions os-prober/1.65.
> tags 817023 + patch
Bug #817023 [os-prober] os-prober doesn't detect EFI partition on MBR
Added tag(s) patch.
> thanks
Stopping processing here.

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