---------- Forwarded message ---------
From: Vladimir 'phcoder' Serbinenko <phco...@gmail.com>
Date: Mon, Mar 25, 2019 at 3:22 PM
Subject: Re: [PATCH] POTFILES: Don't include gnulib in grub.pot
To: Daniel Kiper <dki...@net-space.pl>


On Mon, Mar 25, 2019 at 12:58 PM Daniel Kiper <dki...@net-space.pl> wrote:
>
> Sadly this patch does not look complete. ./grub-core/lib/gnulib is still
> included. And as Colin pointed out missing SOB.
This directory still exists, at least in my copy. I didn't spend any
time figuring out if this is intended or stale. In either case I don't
want those file to accidently end up in POTFILES


--
Regards
Vladimir 'phcoder' Serbinenko


-- 
Regards
Vladimir 'phcoder' Serbinenko

_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel

Reply via email to