bug-groff
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #56748] URW font name changes (again!!)

From: G. Branden Robinson
Subject: [bug #56748] URW font name changes (again!!)
Date: Sat, 15 May 2021 22:13:29 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Firefox/78.0 
Update of bug #56748 (project groff):

                  Status:               Confirmed => Fixed                  
             Open/Closed:                    Open => Closed                 
         Planned Release:                    None => 1.23.0                 

    _______________________________________________________

Follow-up Comment #1:

I'll split off the configure check stuff into its own issue.  The topic of
this bug was the font name changes, which Deri resolved almost 2 years ago.


commit ef16d931a451621c14ca5b7706f91bc87797cf50
Author:     Deri James <deri@chuzzlewit.myzen.co.uk>
AuthorDate: Sat Sep 21 16:03:37 2019 +0100
Commit:     Deri James <deri@chuzzlewit.myzen.co.uk>
CommitDate: Sat Sep 21 16:03:37 2019 +0100

    Add new ghostscript font names
    
    * font/devpdf/Foundry.in: Add changed font names


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?56748>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]