Processed: Re: Bug#871772: grub-mknetdir not enabled for arm64

[Debian Bug Tracking System]

Processing control commands:

> fixed -1 2.02-1
Bug #871772 [grub2] grub-mknetdir not enabled for arm64
Marked as fixed in versions grub2/2.02-1.
> tag -1 pending
Bug #871772 [grub2] grub-mknetdir not enabled for arm64
Added tag(s) pending.

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