Merge branch 'release_1.3.2' into release
Version 1.3.3
Jormungandr: fix a bug fix made too fast
Merge branch 'release_1.3.3' into release
Merge branch 'release' into dev