Commit d01cc0b6 authored by Christian Keuerleber's avatar Christian Keuerleber

BUGFIX: missing namespace usage (thanks @mcyg)

parent d0214ccb
Pipeline #7852 failed with stage