5.4.0

Steffen Schneider

@schneisn

c808381d · Set version to 5.4.0 · Nov 21, 2020

Release: 5.4.0

Many many many ux improvements (and some bug fixes)