Commit c11c9f32 authored by François Grisez's avatar François Grisez

Fix an invalid read.

parent c9dde282
Pipeline #409 passed with stage
in 0 seconds