bug#64028: [PATCH 00/18] Update xorg fonts

[Ludovic Courtès]

Hi,

Timotej Lazar <timotej.lazar@araneo.si> skribis:

> this series updates the xorg fonts. The main change is that upstream
> Makefiles now include the --no-name flag to gzip for reproducibility
> (see e.g. 
> https://lists.freedesktop.org/archives/xorg/2023-February/061298.html)
> so we can drop the macro that added it.

Neat.

>   gnu: font-adobe100dpi: Update to 1.0.4.
>   gnu: font-adobe75dpi: Update to 1.0.4.
>   gnu: font-alias: Update to 1.0.5.
>   gnu: font-arabic-misc: Update to 1.0.4.
>   gnu: font-cronyx-cyrillic: Update to 1.0.4.
>   gnu: font-dec-misc: Update to 1.0.4.
>   gnu: font-isas-misc: Update to 1.0.4.
>   gnu: font-micro-misc: Update to 1.0.4.
>   gnu: font-misc-cyrillic: Update to 1.0.4.
>   gnu: font-misc-ethiopic: Update to 1.0.5.
>   gnu: font-misc-misc: Update to 1.1.3.
>   gnu: font-mutt-misc: Update to 1.0.4.
>   gnu: font-schumacher-misc: Update to 1.1.3.
>   gnu: font-screen-cyrillic: Update to 1.0.5.
>   gnu: font-sony-misc: Update to 1.0.4.
>   gnu: font-sun-misc: Update to 1.0.4.
>   gnu: font-winitzki-cyrillic: Update to 1.0.4.
>   gnu: font-xfree86-type1: Update to 1.0.5.

Applied, thanks!

Ludo’.