Commit b0250a00 authored by Robbert Krebbers's avatar Robbert Krebbers

Remove useless scopes.

parent 0c4b9da9
Pipeline #27944 passed with stage
in 5 minutes and 52 seconds