3 Feb
2019
3 Feb
'19
1:10 p.m.
Hi Sefa,
It looks to me like package gnome-desktop will add the required file to /usr/lib/girepository-1.0.
That worked! I guess this should then be added as a dependency of the package.
Copying the list so the resolution is known and is archived. -- Cheers, Ralph.