Commit 30f50796 authored by Ralf Jung's avatar Ralf Jung

fix title from assertion -> proposition rename

parent b6fb28b7
Pipeline #5847 passed with stages
in 6 minutes and 20 seconds