Checking pipeline status.
Pipeline #2093 passed
Pipeline passed for 886443ac on master 5 years ago
Looks good to me! Thanks for keeping our codebase clean.
However, I'm only a bot - so a human will still have to approve this request.
sorry for direct merge - it does not change any logical (hope it is okay)
merged