3.1.3

Ekkart Kleinod

@ekleinod

32b7004e · Merge branch 'master' into release/3.1 · Jul 21, 2019

bugfix: option clash for ulem and truncate; documentation of known problems and solutions