WIP: Resolve "Settings: ignored INSTCODEs"

Viacheslav Pavlov requested to merge 27-settings-ignored-instcodes into master

Closes #27 (closed)

Merge request reports