Please email me the file. Every time we do a git pull request or merge it breaks the man/ directory and it's a mess to try to revert. I'll commit it directly instead of merging/patching.
- Jesse On 2022-12-23 4:08 p.m., Helge Kreutzmann wrote: > Hello Jesse, > in our Debian overview I just saw that de.po is quite outdated (i.e. > an older version than the one I submitted to you). I just reported > this, see https://bugs.debian.org/1026911 > > I don't know how this happend, the fix is trivial, revert to the > latest version. You can find this attached to the bug report, but if > necessary I can send it to you directly as well. > > (I'm not keen doing this git merge stuff again, especially since it > resulted in no de.po last time and a broken one now). > > If you could prepare a fixed release soon (and hopefully the Debian > maintainer could do so as well), this would be great, as Debian is > going to freeze end of January. > > Thanks again. > > I wish you a nice holiday season, a good years turnover and a great > 2023! > > Greetings > > Helge >
