Fix mnemonics bug introduced in commit b84c583a26e6f
Passed
Rob Swindell
created pipeline for commit
7b3873e5
, finished
For master
33 minutes 25 seconds, queued for 22 seconds