Thanks, pushed!
Denis 'GNUtoo' Carikli: > On Thu, 10 Oct 2019 09:23:59 +0300 > Joonas Kylmälä <[email protected]> wrote: > >> From: Joonas Kylmälä <[email protected]> >> To: [email protected] >> Subject: [Replicant] [PATCH] Use new name of >> FDroidPrivilegedExtension package Date: Thu, 10 Oct 2019 09:23:59 >> +0300 Sender: "Replicant" <[email protected]> >> >> The FDroidPrivilegedExtension package was updated in the manifest to >> 0.2.8 version. In this new version the package name is >> F-DroidPrivilegedExtension. >> >> Signed-off-by: Joonas Kylmälä <[email protected]> >> --- >> config/common.mk | 2 +- >> 1 file changed, 1 insertion(+), 1 deletion(-) >> >> diff --git a/config/common.mk b/config/common.mk >> index edb2d8a3..70788758 100644 >> --- a/config/common.mk >> +++ b/config/common.mk >> @@ -135,7 +135,7 @@ PRODUCT_PACKAGES += \ >> WallpaperPicker \ >> SoundRecorder \ >> Screencast \ >> - FDroidPrivilegedExtension \ >> + F-DroidPrivilegedExtension \ >> RepWifi >> >> # Exchange support > > Acked-by: Denis 'GNUtoo' Carikli <[email protected]> > > Thanks a lot for the patch. > > Denis. > _______________________________________________ Replicant mailing list [email protected] https://lists.osuosl.org/mailman/listinfo/replicant
