Formatting fixes for SET_DELEGATE instruction

assigned to @baugr

added reference label

added 33 commits

• 928b9b28...ce9021d6 - 32 commits from branch master
• 9997ca29 - Formatting fixes for SET_DELEGATE instruction

Compare with previous version

approved this merge request

assigned to @NicVolanschi and unassigned @baugr

requested review from @NicVolanschi, @rafoo_, and @baugr

I don't know if this is still applicable, @naih can you check please and close if obsolete?

assigned to @naih and unassigned @NicVolanschi

resolved all threads

assigned to @NicVolanschi and unassigned @naih

approved this merge request

assigned to @arvidnl and unassigned @NicVolanschi

approved this merge request

added 5 commits

• 9997ca29...22997322 - 4 commits from branch master
• b26ff238 - Formatting fixes for SET_DELEGATE instruction

Compare with previous version

enabled an automatic merge when the pipeline for b26ff238 succeeds

merged

unassigned @arvidnl