Marius Bakke <mbakke@fastmail.com> writes:

> Mark, others: Can you try these patches and see if they work for you
> (extracted from Keis patch).

Actually, I just pushed them to 'master' since geoclue rebuilds
'webkitgtk' and Kei had already verified that gnome-shell now starts.

Let's make further adjustments as needed.