Verified Commit 0faa6317 authored by Nadim Kobeissi's avatar Nadim Kobeissi
Browse files

Minor optimizations

parent e947a1c5
Pipeline #824 passed with stages
in 2 minutes and 25 seconds