Commit 5746c331 authored by Rieks Joosten's avatar Rieks Joosten

Merge branch 'terminology-rieks' into 'master'

Terminology rieks - %%-syntax-related bugfixes

See merge request !14
parents 2638c82c eead161e
Pipeline #17262 passed with stages
in 3 minutes and 36 seconds