Merge branch 'feat/label/print' into develop (no code change, just branch sync)

it looks like in PR #808 a specific commit was merged, instead of the branch.
this makes version control tool recognize the branch was merged.