Commit 06396924 authored by Mathieu Giraud's avatar Mathieu Giraud

Merge branch 'feature-a/should-update' into 'dev'

tools/should.py: update from upstream

See merge request !366
parents f355173e 336b8051
Pipeline #51467 failed with stages
in 11 seconds