Skip to content
Commit e7e21ec9 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Merge branch 'refiner-fix-unused-argument' into 'master' 

Refiner: fix unused argument (closes #55 on gitlab).

Closes #55

See merge request !39
parents cd043333 dc9c9c3b
Pipeline #7208 passed with stage
in 3 hours, 39 minutes, and 58 seconds