Re: [PATCH] remove Makefile.libfdt.def from EXTRA_DIST

[Vladimir 'φ-coder/phcoder' Serbinenko]

@Francesco, Andrey: please check your time and timezone settings. 
Someone of you has them wrong as replies are dated before the original

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