[Therion] new Therion release

8 Jan 2019

      Hi all,

there is a new release of Therion, 5.4.2.

See https://github.com/therion/therion/blob/v5.4.2/CHANGES for a list of
changes.

Best regards
Therion team

Martin Budaj