Remove hotfix for eclipse/elk#841 that is now included since ELK release 0.9.0#128

a-sr merged 1 commit intomasterkieler/semantics:masterfrom

nre/remove-hotfix-elk-841kieler/semantics:nre/remove-hotfix-elk-841Copy head branch name to clipboard