Merge branch 'remove-henhe83' into 'devel'

Remove henhe83

See merge request !20 (merged)

(cherry picked from commit b940cfc1)

147fc490 Remove henhe83

assigned to @mikpe74

mentioned in commit 3fdaab52

merged

picked the changes into the branch cherry-pick-3fdaab52 with commit 7a59b2ac

mentioned in commit 7a59b2ac

mentioned in merge request !22 (merged)

mentioned in merge request !30 (merged)