bug#41174: [PATCH] gnu: webkitgtk: Add patch to share all fonts.

[Jack Hill]

On Tue, 26 May 2020, Leo Prikler wrote:

> * gnu/packages/patches/webkitgtk-bind-all-fonts.patch: New file.
> * gnu/packages/webkit.scm (webkitgtk)[source]<patches>: Use it here.
> * gnu/local.mk: Add it here.
> ---
> gnu/local.mk                                  |  1 +
> .../patches/webkitgtk-bind-all-fonts.patch    | 37 +++++++++++++++++++
> gnu/packages/webkit.scm                       |  3 +-
> 3 files changed, 40 insertions(+), 1 deletion(-)
> create mode 100644 gnu/packages/patches/webkitgtk-bind-all-fonts.patch

Hi,

I tested this patch on my local system, and it seems to resolve the issue 
for me. Thanks!

Is this something that should be submitted for inclusion in WebKit 
upstream?

Best,
Jack