Made some neat cleanup. And fixed ubuntu build as a side action
Checking pipeline status.
Merge details
enabled an automatic merge when the pipeline for 5fa38a41 succeeds
merged
mentioned in commit 7e958868