I didn't perceive these differences as a real problem for this merge.
My question was probably more general: shouldn't we make sure that both configurations are equally successful (skip some tests if necessary)?
« Back to merge proposal
I didn't perceive these differences as a real problem for this merge.
My question was probably more general: shouldn't we make sure that both configurations are equally successful (skip some tests if necessary)?