Skip to content

GitLab

Merge branch '1027-fixing-dynamic-instructions' into 'development'

Merged Dominik Hebeler requested to merge cherry-pick-303fec54 into master

Resolve "fixing dynamic instructions"

Closes #1027 (closed)

See merge request !1719 (merged)

(cherry picked from commit 303fec54)

db88a288 corrected version check on firefox mobile