Commit 70e5efc4 authored by Steffen Michels's avatar Steffen Michels

Merge branch 'nameInfix' into 'master'

add infix operator for assigning names

See merge request !18
parents d602eccf 6bf8e58a
Pipeline #12358 passed with stage
in 32 seconds