On Sun, Jul 09, 2017 at 08:58:52AM +0200, Kornel Benko wrote: > commit ca0ba098dafae01299a5eae567d541a6c7ba4cd8 > Author: Kornel Benko <kor...@lyx.org> > Date: Sun Jul 9 08:58:00 2017 +0200 > > Amend f01ca45: uk.po: translation update from Yuri Chornoivan > --- > po/uk.gmo | Bin 648018 -> 0 bytes > 1 files changed, 0 insertions(+), 0 deletions(-) > > diff --git a/po/uk.gmo b/po/uk.gmo > deleted file mode 100644 > index d1fe4c8..0000000 > Binary files a/po/uk.gmo and /dev/null differ
Why should we remove the gmo? Because it is out-of-date, now that the po was changed? Why not update the gmo instead of removing it? In general, should I commit the gmo whenever I commit changes to the po? Thanks, Scott
signature.asc
Description: PGP signature