Commit bed801e2 authored by Julia Lawall's avatar Julia Lawall Committed by LAWALL Julia

spatch is no longer a script

parent 18b9e4b6
Pipeline #154499 passed with stages
in 8 minutes and 11 seconds