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