Commit 6765e277 authored by Dominique Marcadet's avatar Dominique Marcadet

Merge branch '26-some-ocl-messages-are-displayed-multiple-times' into 'master'

Resolve "some OCL messages are displayed multiple times"

Closes #26

See merge request !29
parents 4df64afa ff4cb805
Pipeline #5170 passed with stages
in 41 seconds