Hi Ludo,

Ludovic Courtès <l...@gnu.org> writes:

> Timothy Sample <samp...@ngyro.com> skribis:
>
>> I managed to remove “webgitgtk” from the closure of “gnome-shell”.
>
> Neat!  Do you have that patch around?  :-)

Submitted with patch ID 35028.


-- Tim

Reply via email to