Commit d3268758 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

fix location of w₃ in the most common case

parent 569d9805
Pipeline #4204 passed with stage
in 1 minute and 39 seconds