Revert "Merge branch 'f9805-optionalJump' into 'master'"

This reverts merge request !228
3 jobs for revert-921d3c5b in 7 minutes and 7 seconds (queued for 1 second)