---------- 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