[Merge] ~enr0n/ubuntu-release-upgrader:ubuntu/main into ubuntu-release-upgrader:ubuntu/main

[Gunnar Hjalmarsson]

On 2023-09-28 15:42, Nick Rosbrook wrote:
> In the general case, get_string('font-name') should give the same as
> get_user_value('font-name').get_string(), and if not I think getting
> the system default is the right thing to do.

Well, I'd say that the general case is that the user did not change the desktop font, so my belief is that they differ more often than not.

But this is a detail I'm not going to argue about more.
-- 
https://code.launchpad.net/~enr0n/ubuntu-release-upgrader/+git/ubuntu-release-upgrader/+merge/452304
Your team Ubuntu Core Development Team is subscribed to branch ubuntu-release-upgrader:ubuntu/main.