Processed: Re: Bug#1023391: texlive-full: The EB Garamond font is not installed properly within debian texlive-full
Processing commands for control@bugs.debian.org:
> reassign 1023391 texlive-fonts-extra-links
Bug #1023391 [texlive-full] texlive-full: The EB Garamond font is not installed properly within debian texlive-full
Bug reassigned from package 'texlive-full' to 'texlive-fonts-extra-links'.
No longer marked as found in versions texlive-base/2022.20220923-2 and texlive-base/2022.20230122-1.
Ignoring request to alter fixed versions of bug #1023391 to the same values previously set
> reassign 1020492 texlive-fonts-extra-links
Bug #1020492 [texlive-full] texlive-full: EB Garamond in textlive-full
Bug reassigned from package 'texlive-full' to 'texlive-fonts-extra-links'.
No longer marked as found in versions texlive-base/2021.20220204-1.
Ignoring request to alter fixed versions of bug #1020492 to the same values previously set
> merge 1023391 1020492
Bug #1023391 [texlive-fonts-extra-links] texlive-full: The EB Garamond font is not installed properly within debian texlive-full
Bug #1020492 [texlive-fonts-extra-links] texlive-full: EB Garamond in textlive-full
Merged 1020492 1023391
> retitle 1023391 texlive-fonts-extra-links pulls in old Garamond fonts
Bug #1023391 [texlive-fonts-extra-links] texlive-full: The EB Garamond font is not installed properly within debian texlive-full
Bug #1020492 [texlive-fonts-extra-links] texlive-full: EB Garamond in textlive-full
Changed Bug title to 'texlive-fonts-extra-links pulls in old Garamond fonts' from 'texlive-full: The EB Garamond font is not installed properly within debian texlive-full'.
Changed Bug title to 'texlive-fonts-extra-links pulls in old Garamond fonts' from 'texlive-full: EB Garamond in textlive-full'.
> stop
Stopping processing here.
Please contact me if you need assistance.
--
1020492: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1020492
1023391: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1023391
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: