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

[GNU bug Tracking System]

Your message dated Sun, 18 Jun 2023 23:33:26 +0200
with message-id <87cz1so3q1.fsf@gnu.org>
and subject line Re: bug#64028: [PATCH 00/18] Update xorg fonts
has caused the debbugs.gnu.org bug report #64028,
regarding [PATCH 00/18] Update xorg fonts
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
64028: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=64028
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 00/18] Update xorg fonts
>
>
>
>
> Date: 
>
> Mon, 12 Jun 2023 22:51:56 +0200
>
>
>
>
> Hi,
>
> 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.
>
> Thanks!
>
> Timotej Lazar (18):
>   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.
>
>  gnu/packages/xorg.scm | 200 +++++++++++++++++++++++-------------------
>  1 file changed, 108 insertions(+), 92 deletions(-)
>
>
> base-commit: 5c66be3c17e279e4589320c69deb5dba0fd034e2
> -- 
> 2.40.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#64028: [PATCH 00/18] Update xorg fonts
>
>
>
>
> Date: 
>
> Sun, 18 Jun 2023 23:33:26 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
>
>
>
>
> 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’.
>
>
> --- End Message ---