diff options
author | Julian Andres Klode <jak@debian.org> | 2020-11-25 18:02:03 +0000 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2020-11-25 18:02:03 +0000 |
commit | 6530ce64d2337ab309d6c974202243abb09d2d04 (patch) | |
tree | 20e5a01e2c7c206ccf8d4d7f72f6416b4118218d /apt-private/private-main.cc | |
parent | 1077af2e635df738f351d5ea3515804a4de367ea (diff) | |
parent | e5bb443cf58cec23503ad0deeeb06a080053da8a (diff) |
Merge branch 'feature/rred' into 'master'
Enhance rred for possible external usage
See merge request apt-team/apt!136
Diffstat (limited to 'apt-private/private-main.cc')
-rw-r--r-- | apt-private/private-main.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/apt-private/private-main.cc b/apt-private/private-main.cc index e9f65bd83..d4ce0ab2a 100644 --- a/apt-private/private-main.cc +++ b/apt-private/private-main.cc @@ -33,6 +33,7 @@ void InitLocale(APT_CMD const binary) /*{{{*/ case APT_CMD::APT_HELPER: case APT_CMD::APT_GET: case APT_CMD::APT_MARK: + case APT_CMD::RRED: textdomain("apt"); break; case APT_CMD::APT_EXTRACTTEMPLATES: |