5.4.2

Jan Girlich

@vollkorn

d5610d30 · bump version !minor · Jun 16, 2020

Release: 5.4.2

Please, make it stop raining gpg error mails