Commit 8face8df authored by ∞'s avatar 💻

Merge branch 'jpic' into 'master'

Support for immediate options

See merge request !8
parents 62dc12e2 e70e059a
Pipeline #3443 passed with stages
in 36 seconds