U_Fischer - 2017-07-23

Addition: The problem pop ups now due to a change in the beamer font definitions that I find a bit suspicious and will report there. https://github.com/josephwright/beamer/issues/408

 

Last edit: U_Fischer 2017-07-23