Re: fixed fonts in release-notes
Julien Cristau <[email protected]>
| Newsgroups | gmane.linux.debian.devel.www,gmane.linux.debian.devel.documentation |
|---|---|
| Message-ID | <[email protected]> |
On Sun, Feb 21, 2016 at 16:00:29 +0100, Holger Wansing wrote: > On the other hand: Should one of those bugs be kept open as a reminder to > undo today's font changes, when texlive itself is fixed one day? > Also note that I only applied the change to the jessie branch, not to trunk, so that will need sorting before the stretch release. Cheers, Julien