Remove a compiler warning
Passed
Florian Uhlig
created pipeline for commit d3cf9784
, finished
Related merge request !798 to merge fix_rich_warning
62 minutes 21 seconds, queued for 6 seconds