diff options
author | Julian Andres Klode <jak@debian.org> | 2018-08-07 13:03:50 +0000 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2018-08-07 13:03:50 +0000 |
commit | 1ff389a5053e9ece91db8199afdcec16090a76b0 (patch) | |
tree | 3e70673822872cb58349dc37c3a299496574d812 /po/ar.po | |
parent | 91671efc7f63b3e2ff2a573d86ac3225e9b5f9cd (diff) | |
parent | 8a6caaf869ea87ade6043169076bda04a0dc6cb6 (diff) |
Merge branch 'master' into 'master'
Add trailing newline to output of edit-sources.
See merge request apt-team/apt!22
Diffstat (limited to 'po/ar.po')
-rw-r--r-- | po/ar.po | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2406,7 +2406,7 @@ msgstr "فشل تغيير اسم %s إلى %s" #: apt-private/private-sources.cc #, c-format -msgid "Your '%s' file changed, please run 'apt-get update'." +msgid "Your '%s' file changed, please run 'apt-get update'.\n" msgstr "" #: apt-private/private-unmet.cc |