Commit abff67d5 authored by Martin PORTALIER's avatar Martin PORTALIER

Update facts.v

parent 6208b5c9
Pipeline #19159 failed with stages
in 32 seconds