Processed: Re: Bug#881730: grub2: Please clone debian/grub-ieee1275-bin.install.powerpc.in for ppc64

Debian Bug Tracking System owner at bugs.debian.org
Thu Nov 16 09:15:04 UTC 2017


Processing control commands:

> tag -1 pending
Bug #881730 [src:grub2] grub2: Please clone debian/grub-ieee1275-bin.install.powerpc.in for ppc64
Added tag(s) pending.

-- 
881730: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=881730
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the Pkg-grub-devel mailing list