v19.02.3

Marcel Huber

@marcel.huber

04245ab8 · Merge branch 'release/v19.02.3' · Feb 10, 2019

Updated templates with upstream changes

- improved listings handling in regard of fonts and style
- safeguarded \renewcommands in case the command isn't defined yet