Skip to content

4217: Fix the occurring error when changing the type of an in-/output port

Ulrich Schöpp requested to merge 4217 into master

Deletes a line that I seem to have added by accident in 94f75a78

Fixes #4217 (closed)

Edited by Ulrich Schöpp

Merge request reports