Merge branch '21-allow-connection-endpoints-for-list-nonterminals' into 'dev'
Allow connection endpoints for list nonterminals See merge request !10
GitLab update scheduled for Friday, July 8th between 08:15 and 08:45 CET. If unpleasant, please contact René or Martin.
Allow connection endpoints for list nonterminals See merge request !10