Commit 9486b10f authored by xa's avatar xa

Merge branch 'singleton' into 'master'

Singleton

See merge request !2
parents a5c66706 dd2a1b32
Pipeline #1043 failed with stages
in 115 minutes and 45 seconds