On Tue, Aug 15, 2023 at 08:17:31PM +0100, Laurence Tratt wrote: > A simple update to fonts/juliamono: tested working fine (though, as with > any font update, it will tend to mess up running applications, which > then need to be restarted). > > > Laurie
commited. thanks. > > > diff --git fonts/juliamono/Makefile fonts/juliamono/Makefile > index 500dcc97953..ae484ee76db 100644 > --- fonts/juliamono/Makefile > +++ fonts/juliamono/Makefile > @@ -1,6 +1,6 @@ > COMMENT = typeface carefully crafted & designed for computer screens > > -V = 0.048 > +V = 0.050 > DISTNAME = JuliaMono > PKGNAME = juliamono-$V > > diff --git fonts/juliamono/distinfo fonts/juliamono/distinfo > index 43f857f43fc..4f6167524e4 100644 > --- fonts/juliamono/distinfo > +++ fonts/juliamono/distinfo > @@ -1,2 +1,2 @@ > -SHA256 (JuliaMono-0.048.tar.gz) = > J804RqJjpvSx00G0PRjN9wYIvQnsAXWUsZaJGWXdJ1M= > -SIZE (JuliaMono-0.048.tar.gz) = 31773698 > +SHA256 (JuliaMono-0.050.tar.gz) = > 5EZQVkVBAeSjWFgWtOGG1wmXAUAf2qX71Wf6/SUk6qM= > +SIZE (JuliaMono-0.050.tar.gz) = 32756039 > -- Sebastien Marie