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